git.iko.soy/Idris-dev
on master help sign in
Parse 'with' arguments in pattern mode

Fixes #1847

commit21ccbe87ca796bb0454d53c5630974a6474b6228 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateMon 12 Jan 2015, 18:15 (12 years ago) parentf2da9b4
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/Parser.hs+1−1
src/Idris/Parser.hs+1−1
@@ -938,7 +938,7 @@ WExpr ::= '|' Expr';
938938-}
939939wExpr :: SyntaxInfo -> IdrisParser PTerm
940940wExpr syn = do lchar '|'
941− expr' syn
941+ expr' (syn { inPattern = True })
942942 <?> "with pattern"
943943
944944{- | Parses a where block