on master help sign in
Super minor simplification
commit5e69cecb464e5b77e22546efda3bf89c71017756 authorJason Felice <jason.m.felice@gmail.com> dateSun 3 Dec 2017, 12:09 (9 years ago) parent0296c12
1 file changed+1−2
src/Idris/Parser.hs+1−2
src/Idris/Parser.hs+1−2
@@ -1144,11 +1144,11 @@ clause syn
11441144 -- lhs application "with" clause or function clause
11451145 <|> do pushIndent
11461146 (n, nfc, capp, wargs) <- lhs
1147+ modify $ \ist -> ist { lastParse = Just n }
11471148 (do (rs, fc) <- withExtent (rhs syn n)
11481149 let wsyn = syn { syn_namespace = [] }
11491150 (wheres, nmap) <- whereBlock n wsyn <* popIndent
11501151 <|> ([], []) <$ terminator
1151− modify $ \ist -> ist { lastParse = Just n }
11521152 return $ PClause fc n capp wargs rs wheres) <|> (do
11531153 popIndent
11541154 ((wval, pn), fc) <- withExtent $ do
@@ -1159,7 +1159,6 @@ clause syn
11591159 openBlock
11601160 ds <- some $ fnDecl syn
11611161 closeBlock
1162− modify $ \ist -> ist { lastParse = Just n }
11631162 let withs = map (fillLHSD n capp wargs) $ concat ds
11641163 return $ PWith fc n capp wargs wval pn withs)
11651164 <?> "function clause"