Change terminal colours to be more align with the scheme

anoma · Jun 7, 2023 · 2322a85 · 2322a85
1 parent 4c2aa49
commit 2322a85
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