git.iko.soy/Idris-dev
on master help sign in
Allow impossible in case
ffa4223Melvar Chen
src/Idris/ParseExpr.hs+1−1
compare with master
unifiedsplit
@@ -256,7 +256,7 @@ CaseOption ::=
256-}
256-}
257caseOption :: SyntaxInfo -> IdrisParser (PTerm, PTerm)
257caseOption :: SyntaxInfo -> IdrisParser (PTerm, PTerm)
258caseOption syn = do lhs <- expr (syn { inPattern = True })
258caseOption syn = do lhs <- expr (syn { inPattern = True })
259− symbol "=>"; r <- expr syn
259+ r <- PImpossible <$ reserved "impossible" <|> do symbol "=>"; expr syn
260 return (lhs, r)
260 return (lhs, r)
261 <?> "case option"
261 <?> "case option"
262
262