Consistency: 'p' -> 'program', system messages start with '-*-'

SophieBosio · Apr 7, 2024 · fd1b7e7 · fd1b7e7
1 parent 5cdece0
commit fd1b7e7
Showing 1 changed file with 4 additions and 3 deletions.
diff --git 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