search

anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
442 stars 54 forks source link

Give proper colors to builtins #2834

Closed janmasrovira closed 1 week ago

janmasrovira commented 1 week ago

I've added a field _nameKindPretty :: NameKind that is used to store the nameKind which should be used when highlighting and printing. There is no need for pragmas as we can set a color for each builtin axiom statically in the haskell code.

I've also removed the fields _infoHighlightDoc :: DocTable and _infoHighlightNames :: [S.AName] from the Store/Scoped/Data/InfoTable as they were never being read.