From 651a67cb568d80e72f8c6a650b985991f4b129d8 Mon Sep 17 00:00:00 2001 From: tslil Date: Wed, 29 Apr 2026 10:56:16 +0100 Subject: fix parser bug, fix beta reduction for setcoerce, disambiguate set coerce in parser --- grammar.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'grammar.txt') 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 ; -- cgit v1.3.1