git.iko.soy/Idris-dev
on master help sign in
Parse 'with' arguments in pattern mode
21ccbe8Edwin Brady
src/Idris/Parser.hs+1−1
compare with master
unifiedsplit
@@ -938,7 +938,7 @@ WExpr ::= '|' Expr';
938-}
938-}
939wExpr :: SyntaxInfo -> IdrisParser PTerm
939wExpr :: SyntaxInfo -> IdrisParser PTerm
940wExpr syn = do lchar '|'
940wExpr syn = do lchar '|'
941− expr' syn
941+ expr' (syn { inPattern = True })
942 <?> "with pattern"
942 <?> "with pattern"
943
943
944{- | Parses a where block
944{- | Parses a where block