@@ -758,16 +758,18 @@ LambdaTail ::=
758758-}
759759lambda :: SyntaxInfo -> IdrisParser PTerm
760760lambda syn = do lchar '\\' <?> "lambda expression"
761− (do xt <- try $ tyOptDeclList syn
762− fc <- getFC
763− sc <- lambdaTail
764− return (bindList (PLam fc) xt sc)) <|> do
765− ps <- sepBy (do fc <- getFC
766− e <- simpleExpr (syn { inPattern = True })
767− return (fc, e)) (lchar ',')
768− sc <- lambdaTail
769− return (pmList (zip [0..] ps) sc)
770− <?> "lambda expression"
761+ ((do xt <- try $ tyOptDeclList syn
762+ fc <- getFC
763+ sc <- lambdaTail
764+ return (bindList (PLam fc) xt sc))
765+ <|>
766+ (do ps <- sepBy (do fc <- getFC
767+ e <- simpleExpr (syn { inPattern = True })
768+ return (fc, e))
769+ (lchar ',')
770+ sc <- lambdaTail
771+ return (pmList (zip [0..] ps) sc)))
772+ <?> "lambda expression"
771773 where pmList :: [(Int, (FC, PTerm))] -> PTerm -> PTerm
772774 pmList [] sc = sc
773775 pmList ((i, (fc, x)) : xs) sc