From c4894bc4e788fae079b76b824a8d86c167098cc8 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Mon, 12 Aug 2024 00:12:07 +0200
Subject: more more way more urysohn

---
 source/Api.hs            | 8 ++++----
 source/CommandLine.hs    | 5 +++--
 source/Syntax/Lexicon.hs | 1 +
 3 files changed, 8 insertions(+), 6 deletions(-)

(limited to 'source')

diff --git a/source/Api.hs b/source/Api.hs
index f597153..3fb0ca2 100644
--- a/source/Api.hs
+++ b/source/Api.hs
@@ -292,10 +292,10 @@ exportMegalodon file = do
 -- | This could be expandend with the dump case, with dump off just this and if dump is on it could show the number off the task. For quick use
 showFailedTask :: (a, ProverAnswer) -> IO()
 showFailedTask (_, Yes ) = Text.putStrLn ""
-showFailedTask (_, No tptp) = Text.putStrLn (Text.pack ("Prover found countermodel: " ++ Text.unpack(Text.unlines (take 1 (Text.splitOn "." tptp)))))
-showFailedTask (_, ContradictoryAxioms tptp) = Text.putStrLn (Text.pack ("Contradictory axioms: " ++ Text.unpack(Text.unlines (take 1 (Text.splitOn "." tptp)))))
-showFailedTask (_, Uncertain tptp) = Text.putStrLn (Text.pack ("Out of resources: " ++ Text.unpack(Text.unlines (take 1 (Text.splitOn "." tptp)))))
-showFailedTask (_, Error _ tptp _) = Text.putStrLn (Text.pack ("Error at: " ++ Text.unpack(Text.unlines (take 1 (Text.splitOn "." tptp)))))
+showFailedTask (_, No tptp) = Text.putStrLn (Text.pack ("\ESC[31mProver found countermodel: \ESC[0m" ++ Text.unpack(Text.unlines (take 1 (Text.splitOn "." tptp)))))
+showFailedTask (_, ContradictoryAxioms tptp) = Text.putStrLn (Text.pack ("\ESC[31mContradictory axioms: \ESC[0m" ++ Text.unpack(Text.unlines (take 1 (Text.splitOn "." tptp)))))
+showFailedTask (_, Uncertain tptp) = Text.putStrLn (Text.pack ("\ESC[31mOut of resources: \ESC[0m" ++ Text.unpack(Text.unlines (take 1 (Text.splitOn "." tptp)))))
+showFailedTask (_, Error _ tptp _) = Text.putStrLn (Text.pack ("\ESC[31mError at: \ESC[0m" ++ Text.unpack(Text.unlines (take 1 (Text.splitOn "." tptp)))))
 --showFailedTask (_, _) = Text.putStrLn "Error!"
 
 
diff --git a/source/CommandLine.hs b/source/CommandLine.hs
index 47efe22..711f7f0 100644
--- a/source/CommandLine.hs
+++ b/source/CommandLine.hs
@@ -87,15 +87,16 @@ run = do
                             Text.hPutStrLn stderr tptp
                         Error err tptp task -> do
                             putStr "Error at:"
+
                             Text.putStrLn task
                             Text.putStrLn err
                             Text.putStrLn tptp
                             
                 WithFailList -> liftIO case result of
-                    VerificationSuccess -> putStrLn "Verification successful."
+                    VerificationSuccess -> putStrLn "\ESC[32mVerification successful.\ESC[0m"
                     VerificationFailure [] -> error "Empty verification fail"
                     VerificationFailure fails -> do
-                        putStrLn "Following task couldn't be solved by the ATP: "
+                        putStrLn "\ESC[35mFollowing task couldn't be solved by the ATP: \ESC[0m"
                         traverse_ showFailedTask fails
                         Text.hPutStrLn stderr "Don't give up!"
 
diff --git a/source/Syntax/Lexicon.hs b/source/Syntax/Lexicon.hs
index de6d966..4fe8730 100644
--- a/source/Syntax/Lexicon.hs
+++ b/source/Syntax/Lexicon.hs
@@ -112,6 +112,7 @@ prefixOps =
     , ([Just (Command "pow"), Just InvisibleBraceL, Nothing, Just InvisibleBraceR], (NonAssoc, "pow"))
     , ([Just (Command "neg"), Just InvisibleBraceL, Nothing, Just InvisibleBraceR], (NonAssoc, "neg"))
     , ([Just (Command "inv"), Just InvisibleBraceL, Nothing, Just InvisibleBraceR], (NonAssoc, "inv"))
+    , ([Just (Command "abs"), Just InvisibleBraceL, Nothing, Just InvisibleBraceR], (NonAssoc, "abs"))    
     , (ConsSymbol, (NonAssoc, "cons"))
     , (PairSymbol, (NonAssoc, "pair"))
     -- NOTE Is now defined and hence no longer necessary , (ApplySymbol, (NonAssoc, "apply"))
-- 
cgit v1.2.3