Change terminal colours to be more align with the scheme (#2183)

Colouring in the REPL now is a bit closer to the scheme we have for Juvix. Because of the allowed colors in the `prettyprinter-ansi-terminal` we can use one of the standard colours only: <img width="896" alt="Screenshot 2023-06-07 at 07 05 34" src="https://github.com/anoma/juvix/assets/8126674/c0077c7c-edba-4ed8-9824-f9b9e773e943"> - Fixes anoma/vscode-juvix#107
anoma · Jun 7, 2023 · 216c1cd · 216c1cd
1 parent 4c2aa49
commit 216c1cd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/Juvix/Data/CodeAnn.hs b/src/Juvix/Data/CodeAnn.hs
@@ -42,7 +42,7 @@ stylize a = case a of
   AnnJudoc -> colorDull Cyan
   AnnDelimiter -> colorDull White
   AnnLiteralString -> colorDull Red
-  AnnLiteralInteger -> colorDull Cyan
+  AnnLiteralInteger -> colorDull Green
   AnnDef {} -> mempty
   AnnRef {} -> mempty
 

diff --git a/src/Juvix/Data/NameKind.hs b/src/Juvix/Data/NameKind.hs
@@ -95,9 +95,9 @@ canBeIterator k = case getNameKind k of
 
 nameKindAnsi :: NameKind -> AnsiStyle
 nameKindAnsi k = case k of
-  KNameConstructor -> colorDull Magenta
+  KNameConstructor -> colorDull Blue
   KNameInductive -> colorDull Green
-  KNameAxiom -> colorDull Red
+  KNameAxiom -> colorDull Magenta
   KNameLocalModule -> color Cyan
   KNameFunction -> colorDull Yellow
   KNameLocal -> mempty