on master help sign in
Shorthand syntax for default case alternatives
2c8d61cEdwin Brady
src/Idris/ParseExpr.hs+4−3
@@ -1033,9 +1033,10 @@ do_ syn
1033 <?> "do block expression"
1033 <?> "do block expression"
1034
1034
1035do_alt syn = do l <- expr' syn
1035do_alt syn = do l <- expr' syn
1036+ option (Placeholder, l)
1036− symbol "=>"
1037+ (do symbol "=>"
1037− r <- expr' syn
1038+ r <- expr' syn
1038− return (l, r)
1039+ return (l, r))
1039
1040
1040{- | Parses an expression in idiom brackets
1041{- | Parses an expression in idiom brackets
1041@
1042@