Fix scope syntax highlighting

lachrist · lachrist · commit 97c864d975ca · 2025-05-27T11:01:59.000+02:00
Fix the overly broad scope configuration that causes the extension to affect non-semantic syntax coloring across all languages. #160
diff --git a/package.json b/package.json
@@ -80,82 +80,82 @@
         "[*Light*]": {
           "textMateRules": [
             {
-              "scope": "comment",
+              "scope": "comment.documentation.block.juvix, comment.line.double-dash.juvix",
               "settings": {
                 "foreground": "#a8a8a8",
                 "fontStyle": "italic"
               }
             },
             {
-              "scope": "pragma",
+              "scope": "pragma.juvix",
               "settings": {
                 "foreground": "#7e7d7d",
                 "fontStyle": "italic"
               }
             },
             {
-              "scope": "axiom",
+              "scope": "axiom.juvix",
               "settings": {
                 "foreground": "#ad1313"
               }
             },
             {
-              "scope": "constructor",
+              "scope": "constructor.juvix",
               "settings": {
                 "foreground": "#8d8dff"
               }
             },
             {
-              "scope": "error",
+              "scope": "error.juvix",
               "settings": {
                 "foreground": "#bd3744",
                 "fontStyle": "bold"
               }
             },
             {
-              "scope": "function",
+              "scope": "function.juvix",
               "settings": {
                 "foreground": "#d98200"
               }
             },
             {
-              "scope": "type",
+              "scope": "type.juvix",
               "settings": {
                 "foreground": "#769c03"
               }
             },
             {
-              "scope": "keyword",
+              "scope": "keyword.juvix",
               "settings": {
                 "foreground": "#0083e1"
               }
             },
             {
-              "scope": "module",
+              "scope": "module.juvix",
               "settings": {
                 "foreground": "#1b1b1b"
               }
             },
             {
-              "scope": "number",
+              "scope": "number.juvix",
               "settings": {
                 "foreground": "#a0d500"
               }
             },
             {
-              "scope": "string",
+              "scope": "string.juvix",
               "settings": {
                 "foreground": "#ff4d00"
               }
             },
             {
-              "scope": "storage",
+              "scope": "storage.juvix",
               "settings": {
                 "foreground": "#befc04"
               }
             },
             {
-              "scope": "punctuation.definition.group",
+              "scope": "punctuation.definition.group.juvix",
               "settings": {
                 "foreground": "#FF0000"
               }
@@ -165,82 +165,82 @@
         "[*Dark*]": {
           "textMateRules": [
             {
-              "scope": "comment",
+              "scope": "comment.documentation.block.juvix, comment.line.double-dash.juvix",
               "settings": {
                 "foreground": "#646464",
                 "fontStyle": "italic"
               }
             },
             {
-              "scope": "pragma",
+              "scope": "pragma.juvix",
               "settings": {
                 "foreground": "#a9a9a9",
                 "fontStyle": "italic"
               }
             },
             {
-              "scope": "axiom",
+              "scope": "axiom.juvix",
               "settings": {
                 "foreground": "#f07171"
               }
             },
             {
-              "scope": "constructor",
+              "scope": "constructor.juvix",
               "settings": {
                 "foreground": "#8d8dff"
               }
             },
             {
-              "scope": "error",
+              "scope": "error.juvix",
               "settings": {
                 "foreground": "#bd3744",
                 "fontStyle": "bold"
               }
             },
             {
-              "scope": "function",
+              "scope": "function.juvix",
               "settings": {
                 "foreground": "#feb64a"
               }
             },
             {
-              "scope": "type",
+              "scope": "type.juvix",
               "settings": {
                 "foreground": "#86b300"
               }
             },
             {
-              "scope": "keyword",
+              "scope": "keyword.juvix",
               "settings": {
                 "foreground": "#399ee6"
               }
             },
             {
-              "scope": "module",
+              "scope": "module.juvix",
               "settings": {
                 "foreground": "#ffffff"
               }
             },
             {
-              "scope": "number",
+              "scope": "number.juvix",
               "settings": {
                 "foreground": "#befc04"
               }
             },
             {
-              "scope": "string",
+              "scope": "string.juvix",
               "settings": {
                 "foreground": "#ff4d00"
               }
             },
             {
-              "scope": "storage",
+              "scope": "storage.juvix",
               "settings": {
                 "foreground": "#befc04"
               }
             },
             {
-              "scope": "punctuation.definition.group",
+              "scope": "punctuation.definition.group.juvix",
               "settings": {
                 "foreground": "#FF0000"
               }
diff --git a/syntaxes/Juvix.json b/syntaxes/Juvix.json
@@ -1,9 +1,7 @@
 {
   "name": "Juvix",
   "scopeName": "source.juvix",
-  "fileTypes": [
-    "juvix"
-  ],
+  "fileTypes": ["juvix"],
   "patterns": [
     {
       "include": "#comment"
@@ -67,30 +65,30 @@
       "patterns": [
         {
           "match": "\".*\"",
-          "name": "string"
+          "name": "string.juvix"
         }
       ]
     },
     "number": {
       "patterns": [
         {
           "match": "\\b(\\d+)\\b",
-          "name": "number"
+          "name": "number.juvix"
         }
       ]
     },
     "keyword": {
       "patterns": [
         {
           "match": "\\b(let|in|case|of|type|with|trait|instance|deriving|module|end|import|open|using|hiding|public|as|terminating|positive|axiom|Type|builtin|syntax|if|else)\\b",
-          "name": "keyword"
+          "name": "keyword.juvix"
         },
         {
-          "name": "delimiter",
+          "name": "delimiter.juvix",
           "match": "(;)"
         },
         {
-          "name": "keyword",
+          "name": "keyword.juvix",
           "match": "(:=|:|\\/|->|→|↦|@|\\|)"
         }
       ]
@@ -99,15 +97,15 @@
       "patterns": [
         {
           "match": "\\b(true|false)\\b",
-          "name": "constant.language"
+          "name": "constant.language.juvix"
         }
       ]
     },
     "operator": {
       "patterns": [
         {
           "match": "(\\+|-|\\*|\\^|\\$|&&|\\!|==|>>|<=|>=)",
-          "name": "function"
+          "name": "function.juvix"
         }
       ]
     }

Original file line number	Diff line number	Diff line change
`@@ -80,82 +80,82 @@`
`80`	`80`	`"[Light]": {`
`81`	`81`	`"textMateRules": [`
`82`	`82`	`{`
`83`		`- "scope": "comment",`
	`83`	`+ "scope": "comment.documentation.block.juvix, comment.line.double-dash.juvix",`
`84`	`84`	`"settings": {`
`85`	`85`	`"foreground": "#a8a8a8",`
`86`	`86`	`"fontStyle": "italic"`
`87`	`87`	`}`
`88`	`88`	`},`
`89`	`89`	`{`
`90`		`- "scope": "pragma",`
	`90`	`+ "scope": "pragma.juvix",`
`91`	`91`	`"settings": {`
`92`	`92`	`"foreground": "#7e7d7d",`
`93`	`93`	`"fontStyle": "italic"`
`94`	`94`	`}`
`95`	`95`	`},`
`96`	`96`	`{`
`97`		`- "scope": "axiom",`
	`97`	`+ "scope": "axiom.juvix",`
`98`	`98`	`"settings": {`
`99`	`99`	`"foreground": "#ad1313"`
`100`	`100`	`}`
`101`	`101`	`},`
`102`	`102`	`{`
`103`		`- "scope": "constructor",`
	`103`	`+ "scope": "constructor.juvix",`
`104`	`104`	`"settings": {`
`105`	`105`	`"foreground": "#8d8dff"`
`106`	`106`	`}`
`107`	`107`	`},`
`108`	`108`	`{`
`109`		`- "scope": "error",`
	`109`	`+ "scope": "error.juvix",`
`110`	`110`	`"settings": {`
`111`	`111`	`"foreground": "#bd3744",`
`112`	`112`	`"fontStyle": "bold"`
`113`	`113`	`}`
`114`	`114`	`},`
`115`	`115`	`{`
`116`		`- "scope": "function",`
	`116`	`+ "scope": "function.juvix",`
`117`	`117`	`"settings": {`
`118`	`118`	`"foreground": "#d98200"`
`119`	`119`	`}`
`120`	`120`	`},`
`121`	`121`	`{`
`122`		`- "scope": "type",`
	`122`	`+ "scope": "type.juvix",`
`123`	`123`	`"settings": {`
`124`	`124`	`"foreground": "#769c03"`
`125`	`125`	`}`
`126`	`126`	`},`
`127`	`127`	`{`
`128`		`- "scope": "keyword",`
	`128`	`+ "scope": "keyword.juvix",`
`129`	`129`	`"settings": {`
`130`	`130`	`"foreground": "#0083e1"`
`131`	`131`	`}`
`132`	`132`	`},`
`133`	`133`	`{`
`134`		`- "scope": "module",`
	`134`	`+ "scope": "module.juvix",`
`135`	`135`	`"settings": {`
`136`	`136`	`"foreground": "#1b1b1b"`
`137`	`137`	`}`
`138`	`138`	`},`
`139`	`139`	`{`
`140`		`- "scope": "number",`
	`140`	`+ "scope": "number.juvix",`
`141`	`141`	`"settings": {`
`142`	`142`	`"foreground": "#a0d500"`
`143`	`143`	`}`
`144`	`144`	`},`
`145`	`145`	`{`
`146`		`- "scope": "string",`
	`146`	`+ "scope": "string.juvix",`
`147`	`147`	`"settings": {`
`148`	`148`	`"foreground": "#ff4d00"`
`149`	`149`	`}`
`150`	`150`	`},`
`151`	`151`	`{`
`152`		`- "scope": "storage",`
	`152`	`+ "scope": "storage.juvix",`
`153`	`153`	`"settings": {`
`154`	`154`	`"foreground": "#befc04"`
`155`	`155`	`}`
`156`	`156`	`},`
`157`	`157`	`{`
`158`		`- "scope": "punctuation.definition.group",`
	`158`	`+ "scope": "punctuation.definition.group.juvix",`
`159`	`159`	`"settings": {`
`160`	`160`	`"foreground": "#FF0000"`
`161`	`161`	`}`
`@@ -165,82 +165,82 @@`
`165`	`165`	`"[Dark]": {`
`166`	`166`	`"textMateRules": [`
`167`	`167`	`{`
`168`		`- "scope": "comment",`
	`168`	`+ "scope": "comment.documentation.block.juvix, comment.line.double-dash.juvix",`
`169`	`169`	`"settings": {`
`170`	`170`	`"foreground": "#646464",`
`171`	`171`	`"fontStyle": "italic"`
`172`	`172`	`}`
`173`	`173`	`},`
`174`	`174`	`{`
`175`		`- "scope": "pragma",`
	`175`	`+ "scope": "pragma.juvix",`
`176`	`176`	`"settings": {`
`177`	`177`	`"foreground": "#a9a9a9",`
`178`	`178`	`"fontStyle": "italic"`
`179`	`179`	`}`
`180`	`180`	`},`
`181`	`181`	`{`
`182`		`- "scope": "axiom",`
	`182`	`+ "scope": "axiom.juvix",`
`183`	`183`	`"settings": {`
`184`	`184`	`"foreground": "#f07171"`
`185`	`185`	`}`
`186`	`186`	`},`
`187`	`187`	`{`
`188`		`- "scope": "constructor",`
	`188`	`+ "scope": "constructor.juvix",`
`189`	`189`	`"settings": {`
`190`	`190`	`"foreground": "#8d8dff"`
`191`	`191`	`}`
`192`	`192`	`},`
`193`	`193`	`{`
`194`		`- "scope": "error",`
	`194`	`+ "scope": "error.juvix",`
`195`	`195`	`"settings": {`
`196`	`196`	`"foreground": "#bd3744",`
`197`	`197`	`"fontStyle": "bold"`
`198`	`198`	`}`
`199`	`199`	`},`
`200`	`200`	`{`
`201`		`- "scope": "function",`
	`201`	`+ "scope": "function.juvix",`
`202`	`202`	`"settings": {`
`203`	`203`	`"foreground": "#feb64a"`
`204`	`204`	`}`
`205`	`205`	`},`
`206`	`206`	`{`
`207`		`- "scope": "type",`
	`207`	`+ "scope": "type.juvix",`
`208`	`208`	`"settings": {`
`209`	`209`	`"foreground": "#86b300"`
`210`	`210`	`}`
`211`	`211`	`},`
`212`	`212`	`{`
`213`		`- "scope": "keyword",`
	`213`	`+ "scope": "keyword.juvix",`
`214`	`214`	`"settings": {`
`215`	`215`	`"foreground": "#399ee6"`
`216`	`216`	`}`
`217`	`217`	`},`
`218`	`218`	`{`
`219`		`- "scope": "module",`
	`219`	`+ "scope": "module.juvix",`
`220`	`220`	`"settings": {`
`221`	`221`	`"foreground": "#ffffff"`
`222`	`222`	`}`
`223`	`223`	`},`
`224`	`224`	`{`
`225`		`- "scope": "number",`
	`225`	`+ "scope": "number.juvix",`
`226`	`226`	`"settings": {`
`227`	`227`	`"foreground": "#befc04"`
`228`	`228`	`}`
`229`	`229`	`},`
`230`	`230`	`{`
`231`		`- "scope": "string",`
	`231`	`+ "scope": "string.juvix",`
`232`	`232`	`"settings": {`
`233`	`233`	`"foreground": "#ff4d00"`
`234`	`234`	`}`
`235`	`235`	`},`
`236`	`236`	`{`
`237`		`- "scope": "storage",`
	`237`	`+ "scope": "storage.juvix",`
`238`	`238`	`"settings": {`
`239`	`239`	`"foreground": "#befc04"`
`240`	`240`	`}`
`241`	`241`	`},`
`242`	`242`	`{`
`243`		`- "scope": "punctuation.definition.group",`
	`243`	`+ "scope": "punctuation.definition.group.juvix",`
`244`	`244`	`"settings": {`
`245`	`245`	`"foreground": "#FF0000"`
`246`	`246`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,9 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "Juvix",`
`3`	`3`	`"scopeName": "source.juvix",`
`4`		`- "fileTypes": [`
`5`		`- "juvix"`
`6`		`- ],`
	`4`	`+ "fileTypes": ["juvix"],`
`7`	`5`	`"patterns": [`
`8`	`6`	`{`
`9`	`7`	`"include": "#comment"`
`@@ -67,30 +65,30 @@`
`67`	`65`	`"patterns": [`
`68`	`66`	`{`
`69`	`67`	`"match": "\".*\"",`
`70`		`- "name": "string"`
	`68`	`+ "name": "string.juvix"`
`71`	`69`	`}`
`72`	`70`	`]`
`73`	`71`	`},`
`74`	`72`	`"number": {`
`75`	`73`	`"patterns": [`
`76`	`74`	`{`
`77`	`75`	`"match": "\\b(\\d+)\\b",`
`78`		`- "name": "number"`
	`76`	`+ "name": "number.juvix"`
`79`	`77`	`}`
`80`	`78`	`]`
`81`	`79`	`},`
`82`	`80`	`"keyword": {`
`83`	`81`	`"patterns": [`
`84`	`82`	`{`
`85`	`83`	`"match": "\\b(let\|in\|case\|of\|type\|with\|trait\|instance\|deriving\|module\|end\|import\|open\|using\|hiding\|public\|as\|terminating\|positive\|axiom\|Type\|builtin\|syntax\|if\|else)\\b",`
`86`		`- "name": "keyword"`
	`84`	`+ "name": "keyword.juvix"`
`87`	`85`	`},`
`88`	`86`	`{`
`89`		`- "name": "delimiter",`
	`87`	`+ "name": "delimiter.juvix",`
`90`	`88`	`"match": "(;)"`
`91`	`89`	`},`
`92`	`90`	`{`
`93`		`- "name": "keyword",`
	`91`	`+ "name": "keyword.juvix",`
`94`	`92`	`"match": "(:=\|:\|\\/\|->\|→\|↦\|@\|\\\|)"`
`95`	`93`	`}`
`96`	`94`	`]`
`@@ -99,15 +97,15 @@`
`99`	`97`	`"patterns": [`
`100`	`98`	`{`
`101`	`99`	`"match": "\\b(true\|false)\\b",`
`102`		`- "name": "constant.language"`
	`100`	`+ "name": "constant.language.juvix"`
`103`	`101`	`}`
`104`	`102`	`]`
`105`	`103`	`},`
`106`	`104`	`"operator": {`
`107`	`105`	`"patterns": [`
`108`	`106`	`{`
`109`	`107`	`"match": "(\\+\|-\|\\*\|\\^\|\\$\|&&\|\\!\|==\|>>\|<=\|>=)",`
`110`		`- "name": "function"`
	`108`	`+ "name": "function.juvix"`
`111`	`109`	`}`
`112`	`110`	`]`
`113`	`111`	`}`