Allow impossible in case
commitffa4223c0c2f28b713bc549ef51ebc1a2dd2636e
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateThu 26 Feb 2015, 12:48 (12 years ago)
parent58875b2
src/Idris/ParseExpr.hs+1−1
@@ -256,7 +256,7 @@ CaseOption ::=
256256-}
257257caseOption :: SyntaxInfo -> IdrisParser (PTerm, PTerm)
258258caseOption syn = do lhs <- expr (syn { inPattern = True })
259− symbol "=>"; r <- expr syn
259+ r <- PImpossible <$ reserved "impossible" <|> do symbol "=>"; expr syn
260260 return (lhs, r)
261261 <?> "case option"
262262