syntax: fix space after . bug in type declaration

LPCIC · Mar 28, 2024 · 88e255b · 88e255b
1 parent 6bd37fc
commit 88e255b
Show file tree

Hide file tree

Showing 2 changed files with 34 additions and 22 deletions.
diff --git a/syntaxes/elpi.tmLanguage.json b/syntaxes/elpi.tmLanguage.json
@@ -279,18 +279,24 @@
 					"name": "entity.name.function"
 				}
 			},
-			"endCaptures": {
-				"1": {
-					"name": "keyword.control.elpi"
-				}
-			},
 			"patterns": [
 				{
-					"match": "(([^,\\.%]|(\\.([a-z]|[A-Z])))(([^,\\.%]|(\\.([a-z]|[A-Z]))))*)",
-					"name": "entity.name.type"
-				},
-				{
-					"include": "#comments"
+					"begin": "",
+					"end": "(\\.\\s)",
+					"endCaptures": {
+						"1": {
+							"name": "keyword.control.elpi"
+						}
+					},
+					"patterns": [
+						{
+							"match": "(([^,\\.%]|(\\.([a-z]|[A-Z])))(([^,\\.%]|(\\.([a-z]|[A-Z]))))*)",
+							"name": "entity.name.type"
+						},
+						{
+							"include": "#comments"
+						}
+					]
 				}
 			]
 		},
@@ -431,7 +437,7 @@
 		},
 		"binders": {
 			"name": "binder.elpi",
-			"begin": "(?<![a-zA-Z0-9+*/^<>`'?@#~=&!\\-$_.])(pi|sigma) (((([a-z](([a-zA-Z0-9+*/^<>`'?@#~=&!\\-$_]|(\\.([a-z]|[A-Z]))))*)|([+*/^<>`'?@#~=&!](([a-z]|[A-Z]|[0-9]|[+*/^<>`'?@#~=&!\\-$_]|:))*)|(-([a-zA-Z0-9+*/^<>`'?@#~=&!\\-$_]([a-zA-Z0-9+*/^<>`'?@#~=&!\\-$_])*)))|(([A-Z]([a-zA-Z0-9+*/^<>`'?@#~=&!\\-$_])*)|(_([a-zA-Z0-9+*/^<>`'?@#~=&!\\-$_])*))| )+)", 
+			"begin": "(?<![a-zA-Z0-9+*/^<>`'?@#~=&!\\-$_.])(pi|sigma) (((([a-z](([a-zA-Z0-9+*/^<>`'?@#~=&!\\-$_]|(\\.([a-z]|[A-Z]))))*)|([+*/^<>`'?@#~=&!](([a-z]|[A-Z]|[0-9]|[+*/^<>`'?@#~=&!\\-$_]|:))*)|(-([a-zA-Z0-9+*/^<>`'?@#~=&!\\-$_]([a-zA-Z0-9+*/^<>`'?@#~=&!\\-$_])*)))|(([A-Z]([a-zA-Z0-9+*/^<>`'?@#~=&!\\-$_])*)|(_([a-zA-Z0-9+*/^<>`'?@#~=&!\\-$_])*))| )+)",
 			"end": "(\\\\)",
 			"beginCaptures": {
 				"1": {

diff --git a/syntaxes/elpi.tmLanguage.mustache b/syntaxes/elpi.tmLanguage.mustache
@@ -279,18 +279,24 @@
 					"name": "entity.name.function"
 				}
 			},
-			"endCaptures": {
-				"1": {
-					"name": "keyword.control.elpi"
-				}
-			},
 			"patterns": [
 				{
-					"match": "{{{typechars}}}",
-					"name": "entity.name.type"
-				},
-				{
-					"include": "#comments"
+					"begin": "",
+					"end": "(\\.\\s)",
+					"endCaptures": {
+						"1": {
+							"name": "keyword.control.elpi"
+						}
+					},
+					"patterns": [
+						{
+							"match": "{{{typechars}}}",
+							"name": "entity.name.type"
+						},
+						{
+							"include": "#comments"
+						}
+					]
 				}
 			]
 		},
@@ -431,7 +437,7 @@
 		},
 		"binders": {
 			"name": "binder.elpi",
-			"begin": "{{{wbl}}}(pi|sigma) (({{{ident}}}|{{{var}}}| )+)", 
+			"begin": "{{{wbl}}}(pi|sigma) (({{{ident}}}|{{{var}}}| )+)",
 			"end": "(\\\\)",
 			"beginCaptures": {
 				"1": {