Lambdas match on pattern expressions
i.e. inPattern should be true so that lambdas can have @-patterns, in
particular.
commit1865391ace142788d99bbeb378e78e65d789c1e8
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 23 Dec 2014, 10:37 (12 years ago)
parent91cd4d5
src/Idris/ParseExpr.hs+1−1
@@ -757,7 +757,7 @@ lambda syn = do lchar '\\' <?> "lambda expression"
757757 sc <- expr syn
758758 return (bindList (PLam fc) xt sc)) <|> do
759759 ps <- sepBy (do fc <- getFC
760− e <- simpleExpr syn
760+ e <- simpleExpr (syn { inPattern = True })
761761 return (fc, e)) (lchar ',')
762762 symbol "=>"
763763 sc <- expr syn