add pragma face

anoma · Aug 29, 2023 · 800c248 · 800c248
1 parent 3a1c519
commit 800c248
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 1 deletion.
diff --git a/src/Juvix/Compiler/Concrete/Data/Highlight.hs b/src/Juvix/Compiler/Concrete/Data/Highlight.hs
@@ -58,6 +58,7 @@ goFaceParsedItem i = WithLoc (i ^. parsedLoc) (PropertyFace f)
       ParsedTagLiteralInt -> FaceNumber
       ParsedTagLiteralString -> FaceString
       ParsedTagComment -> FaceComment
+      ParsedTagPragma -> FacePragma
       ParsedTagJudoc -> FaceJudoc
       ParsedTagDelimiter -> FaceDelimiter
 

diff --git a/src/Juvix/Compiler/Concrete/Data/Highlight/Properties.hs b/src/Juvix/Compiler/Concrete/Data/Highlight/Properties.hs
@@ -32,6 +32,7 @@ data Face
   | FaceString
   | FaceNumber
   | FaceComment
+  | FacePragma
   | FaceJudoc
   | FaceError
 
@@ -40,6 +41,7 @@ faceSymbolStr = \case
   FaceAxiom -> Str.axiom
   FaceInductive -> Str.inductive
   FaceConstructor -> Str.constructor
+  FacePragma -> Str.pragma
   FaceModule -> Str.module_
   FaceKeyword -> Str.keyword
   FaceDelimiter -> Str.delimiter

diff --git a/src/Juvix/Compiler/Concrete/Data/ParsedInfoTableBuilder.hs b/src/Juvix/Compiler/Concrete/Data/ParsedInfoTableBuilder.hs
@@ -57,7 +57,7 @@ registerPragmas i =
   registerItem
     ParsedItem
       { _parsedLoc = i,
-        _parsedTag = ParsedTagComment
+        _parsedTag = ParsedTagPragma
       }
 
 registerLiteral :: (Member InfoTableBuilder r) => LiteralLoc -> Sem r LiteralLoc

diff --git a/src/Juvix/Compiler/Concrete/Data/ParsedItem.hs b/src/Juvix/Compiler/Concrete/Data/ParsedItem.hs
@@ -13,6 +13,7 @@ data ParsedItemTag
   | ParsedTagLiteralInt
   | ParsedTagLiteralString
   | ParsedTagComment
+  | ParsedTagPragma
   | ParsedTagJudoc
   | ParsedTagDelimiter
   deriving stock (Eq, Show, Generic)

diff --git a/src/Juvix/Extra/Strings.hs b/src/Juvix/Extra/Strings.hs
@@ -59,6 +59,9 @@ include = "include"
 alias :: (IsString s) => s
 alias = "alias"
 
+pragma :: (IsString s) => s
+pragma = "pragma"
+
 import_ :: (IsString s) => s
 import_ = "import"