change the "claimed set" notation to "set-of" so that David isn't confused

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);