on master help sign in
Remove commented out code
commitecc52775d996df07adf032ab5ca6226b0f6733e5 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 9 Jul 2014, 22:13 (12 years ago) parentecb9da6
1 file changed−6
src/Idris/ParseExpr.hs−6
src/Idris/ParseExpr.hs−6
@@ -784,12 +784,6 @@ let_ syn = try (do reserved "let"
784784 ls <- indentedBlock (let_binding syn)
785785 reserved "in"; sc <- expr syn
786786 return (buildLets ls sc))
787−-- <|> (do reserved "let"; fc <- getFC; pat <- expr' (syn { inPattern = True } )
788−-- symbol "="; v <- expr syn
789−-- ts <- option [] (do lchar '|'
790−-- sepBy1 (do_alt syn) (lchar '|'))
791−-- reserved "in"; sc <- expr syn
792−-- return (PCase fc v ((pat, sc) : ts)))
793787 <?> "let binding"
794788 where buildLets [] sc = sc
795789 buildLets ((fc,PRef _ n,ty,v,[]):ls) sc