rc #13

Merged
crumbtoo merged 196 commits from dev into main 2024-02-13 13:22:23 -07:00
2 changed files with 2 additions and 3 deletions
Showing only changes of commit fbea3d6f3d - Show all commits

View File

@@ -1,5 +1,5 @@
HAPPY = happy HAPPY = happy
HAPPY_OPTS = -a -g -c HAPPY_OPTS = -a -g -c -i/tmp/t.info
ALEX = alex ALEX = alex
ALEX_OPTS = -g ALEX_OPTS = -g

View File

@@ -160,8 +160,7 @@ LetExpr :: { RlpExpr' RlpcPs }
layout1(p) : '{' layout_list1(';',p) '}' { $2 } layout1(p) : '{' layout_list1(';',p) '}' { $2 }
| VL layout_list1(VS,p) VR { $2 } | VL layout_list1(VS,p) VR { $2 }
layout_list1(sep,p) : p sep { [$1] } layout_list1(sep,p) : p { [$1] }
| p { [$1] }
| layout_list1(sep,p) sep p { $1 `snoc` $3 } | layout_list1(sep,p) sep p { $1 `snoc` $3 }
Binding :: { Binding' RlpcPs } Binding :: { Binding' RlpcPs }