fix parser bug, fix beta reduction for setcoerce, disambiguate set coerce in parser

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 ;