From 2322a8518242a5342c8bd8e457a8f8ec42787c29 Mon Sep 17 00:00:00 2001 From: Veronika Romashkina Date: Tue, 6 Jun 2023 21:24:15 +0100 Subject: [PATCH] Change terminal colours to be more align with the scheme --- src/Juvix/Data/CodeAnn.hs | 2 +- src/Juvix/Data/NameKind.hs | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Juvix/Data/CodeAnn.hs b/src/Juvix/Data/CodeAnn.hs index fdae7b43ee..a1f36a207e 100644 --- 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 index 41a516285b..189c69ad3d 100644 --- 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