diff options
Diffstat (limited to 'grammar.txt')
| -rw-r--r-- | grammar.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/grammar.txt b/grammar.txt index 516a248..32585bb 100644 --- a/grammar.txt +++ b/grammar.txt @@ -9,9 +9,9 @@ instance_decl = "let instance" , inst_var , "::" , signature , "=" , instanc set = record_set | variant_set | builtin_set | claimed_set | set_var | "(" , set , ")" ; record_set = "record" , "{" , [ set_field { "," , set_field } ] , "}" ; -set_field = "." , lower_ident , ":" , set ; +set_field = lower_ident , ":" , set ; variant_set = "variant" , "[" , [ variant_field { "|" , variant_field } ] , "]" ; -variant_field = lower_ident , "." , ":" , set ; +variant_field = lower_ident , ":" , set ; builtin_set = "Nat" | "Int" | "Float" | "Str" | "Bool" ; claimed_set = "set-of" , "(" , instance , ")" ; |