diff options
Diffstat (limited to 'grammar.txt')
| -rw-r--r-- | grammar.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grammar.txt b/grammar.txt index 32585bb..9772501 100644 --- a/grammar.txt +++ b/grammar.txt @@ -36,7 +36,7 @@ instance = for_inst | app_inst ; for_inst = "for" , param_list , "," , instance ; app_inst = dot_inst { dot_elem } ; dot_inst = atom_inst { project_elem } ; -atom_inst = set | inst_var | record_inst | "(" , instance , ")" ; +atom_inst = set ":: Set" | inst_var | record_inst | "(" , instance , ")" ; record_inst = "{" , [ inst_assign { "," , inst_assign } ] , "}" ; inst_assign = project_elem , "=" , instance ; |