msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

rc #13

Merged
crumbtoo merged 196 commits from dev into main 2024-02-13 13:22:23 -07:00
Conversation 0 Commits 196 Files Changed 55 +5 -4
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 1d8eddc63f - Show all commits

9
src/Rlp/Lex.x
View File

@@ -335,16 +335,17 @@ doBol inp l = do
i <- indentLevel i <- indentLevel
-- traceM $ "i: " <> show i -- traceM $ "i: " <> show i
-- important that we pop the lex state lest we find our lexer diverging -- important that we pop the lex state lest we find our lexer diverging
popLexState
case off of case off of
-- the line is aligned with the previous. it therefore belongs to the -- the line is aligned with the previous. it therefore belongs to the
-- same list -- same list
EQ -> insertSemicolon EQ -> popLexState *> insertSemicolon
-- the line is indented further than the previous, so we assume it is a -- the line is indented further than the previous, so we assume it is a
-- line continuation. ignore it and move on! -- line continuation. ignore it and move on!
GT -> lexToken GT -> popLexState *> lexToken
-- the line is indented less than the previous, pop the layout stack and -- the line is indented less than the previous, pop the layout stack and
-- insert a closing brace. -- insert a closing brace. make VERY good note of the fact that we do not
-- pop the lex state! this means doBol is called until indentation is EQ
-- GT. so if multiple layouts are closed at once, this catches that.
LT -> popLayout >> insertRBrace LT -> popLayout >> insertRBrace
thenDo :: LexerAction a -> P b -> LexerAction a thenDo :: LexerAction a -> P b -> LexerAction a