Formatting in Idris.Parser.Expr
commitcacab435495183f36f5e9add8af5038176a2b243
authorEcho Nolan <echo@echonolan.net>
dateThu 6 Oct 2016, 19:48 (10 years ago)
parente7e9a7f
src/Idris/Parser/Expr.hs+3−4
@@ -680,13 +680,12 @@ app syn = do f <- simpleExpr syn
680680 (PMatchApp fc ff)
681681 (PRef fc [] (sMN 0 "match")))
682682 <?> "matching application expression") <|>
683− (do
684− fc <- getFC
683+ (do fc <- getFC
685684 i <- get
686685 args <- many (do notEndApp; arg syn)
687686 wargs <- if withAppAllowed syn && not (inPattern syn)
688− then many (do notEndApp; reservedOp "|"; expr' syn)
689− else return []
687+ then many (do notEndApp; reservedOp "|"; expr' syn)
688+ else return []
690689 case args of
691690 [] -> return f
692691 _ -> return (withApp fc (flattenFromInt fc f args) wargs))