Add pragma face

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
 

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

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

src/Juvix/Compiler/Concrete/Data/ParsedItem.hs

@@ -13,6 +13,7 @@ data ParsedItemTag
   | ParsedTagLiteralInt
   | ParsedTagLiteralString
   | ParsedTagComment
+  | ParsedTagPragma
   | ParsedTagJudoc
   | ParsedTagDelimiter
   deriving stock (Eq, Show, Generic)

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"