anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-05 22:46:08 +03:00
Code Issues Projects Releases Wiki Activity

Add fixity face (#2328)

Browse Source
This commit is contained in:
Jan Mas Rovira 2023-08-31 11:54:37 +02:00 committed by GitHub
parent 34719bbc4d
commit da5c1546b8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Juvix/Compiler/Concrete/Data/Highlight/Properties.hs
View File

@ -26,6 +26,7 @@ data Face
| FaceInductive
| FaceFunction
| FaceModule
| FaceFixity
| FaceAxiom
| FaceDelimiter
| FaceKeyword
@ -51,6 +52,7 @@ faceSymbolStr = \case
FaceJudoc -> Str.judoc
FaceString -> Str.string
FaceError -> Str.error
FaceFixity -> Str.fixity
instance ToSExp Face where
toSExp = faceSymbol . faceSymbolStr

2
src/Juvix/Compiler/Concrete/Data/Highlight/RenderEmacs.hs
View File

@ -17,7 +17,7 @@ nameKindFace = \case
KNameAxiom -> Just FaceAxiom
KNameLocal -> Nothing
KNameAlias -> Nothing
KNameFixity -> Nothing
KNameFixity -> Just FaceFixity
fromCodeAnn :: CodeAnn -> Maybe EmacsProperty
fromCodeAnn = \case