diff options
Diffstat (limited to 'src/parser.rs')
| -rw-r--r-- | src/parser.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/parser.rs b/src/parser.rs index 958f09d..4599f7e 100644 --- a/src/parser.rs +++ b/src/parser.rs @@ -32,6 +32,7 @@ parser! { rule kw_of() = "of" wb() rule kw_for() = "for" wb() rule kw_set() = "set" wb() + rule kw_set_of() = "set-of" wb() rule kw_Set() = "Set" wb() rule kw_Nat() = "Nat" wb() rule kw_Int() = "Int" wb() @@ -116,7 +117,7 @@ parser! { = n:inject_lower() _ ":" _ s:set() _ { VariantField { name: n, set: s } } rule claimed_set() -> Instance - = kw_set() "(" _ i:instance() _ ")" { i } + = kw_set_of() "(" _ i:instance() _ ")" { i } rule set() -> Set = kw_record() _ "{" fs:(set_field() ** ",") _ "}" { Set::Record(fs) } @@ -285,7 +286,7 @@ let set Maybe = variant [ .Edge = for (s : Nat) (t : Nat), Bool } - let element node : set(natPoset .Node) = 7 + let element node : set-of(natPoset .Node) = 7 "#; debug_parse(src); |