From fd1b7e727abd5ec040f83462f72ed02a20852c78 Mon Sep 17 00:00:00 2001 From: SophieBosio Date: Sun, 7 Apr 2024 17:04:37 +0200 Subject: [PATCH] Consistency: 'p' -> 'program', system messages start with '-*-' --- app/Main.hs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/app/Main.hs b/app/Main.hs index e25b460..df7470a 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -71,17 +71,18 @@ typecheck :: Program Info -> IO (Program Type) typecheck = return . inferProgram ast :: Program Type -> IO () -ast p = print $ programAST p +ast program = print $ programAST program repl :: Program Type -> IO () -repl p = putStrLnGreen "Contra REPL" >> evalLoop p +repl program = putStrLnGreen "-*- Contra: Fired up the REPL! -*-" >> + evalLoop program execute :: Program Type -> IO () execute program = print $ runMain program checkProperties :: Program Type -> IO () checkProperties program = - do putStrLn "--- Contra: Checking properties ---" + do putStrLn "-*- Contra: Checking properties -*-" check program