rc #13

Merged
crumbtoo merged 196 commits from dev into main 2024-02-13 13:22:23 -07:00
Showing only changes of commit 57f5206b16 - Show all commits

View File

@@ -127,7 +127,7 @@ $white_no_nl+ ;
<layout_let> <layout_let>
{ {
\n { beginPush bol } \n { beginPush bol }
"{" { explicitLBrace } "{" { explicitLBrace `thenDo` popLexState }
"in" { constToken TokenIn `thenDo` (popLexState *> popLayout) } "in" { constToken TokenIn `thenDo` (popLexState *> popLayout) }
() { doLayout } () { doLayout }
} }