commit b14d7b8b2c61646cf0a282e16c40bbb2cca497dc parent 7ae470a4aee14aa605d3bf309811d9d975a125ff Author: James Eversole <james@eversole.co> Date: Thu, 19 Dec 2024 19:08:56 -0600 Formatting Clean up Main.hs formatting; clarify language in parsing branch Diffstat:
| M | src/Main.hs | | | 6 | +++++- |
| M | src/Parser.hs | | | 2 | +- |
2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/src/Main.hs b/src/Main.hs @@ -9,4 +9,8 @@ import Data.Map as Map import Text.Megaparsec (runParser) main :: IO () -main = putStr $ show $ result $ evalMulti Map.empty (parseMulti "false = t\nnot = t (t (t t) (t t t)) t\ntrue = not false\ntrue") +main = putStr + $ show + $ result + $ evalMulti Map.empty (parseMulti + "false = t\nnot = t (t (t t) (t t t)) t\ntrue = not false\ntrue") diff --git a/src/Parser.hs b/src/Parser.hs @@ -49,7 +49,7 @@ parseApplication = do func <- parseAtomicBase args <- many parseAtomic case func of - TLeaf | not (null args) && all isTreeTerm args -> fail "Not an application, defer to Tree Calculus" + TLeaf | not (null args) && all isTreeTerm args -> fail "Defer to Tree Calculus" _ -> return (SApp func args) isTreeTerm :: SaplingAST -> Bool