Add preference and optimize statements (issue #1).

ArnaudBelcour · ArnaudBelcour · commit b88fbe091447 · 2019-05-15T10:25:56.000+02:00
diff --git a/syntaxes/asp.tmLanguage b/syntaxes/asp.tmLanguage
@@ -81,9 +81,9 @@
             <key>name</key>
             <string>support.function.asp</string>
             <key>comment</key>
-            <string>Gringo functions</string>
+            <string>Gringo and asprin functions</string>
             <key>match</key>
-            <string>#(maximize|minimize|show|hide|showsig|sup|inf|true|false|forget|external|cumulative|disjoint|const|base|include|program)\b</string>
+            <string>#(maximize|minimize|show|hide|showsig|sup|inf|true|false|forget|external|cumulative|disjoint|const|base|include|program|preference|optimize)\b</string>
           </dict>
           <dict>
             <key>comment</key>
diff --git a/syntaxes/asp.tmLanguage.json b/syntaxes/asp.tmLanguage.json
@@ -49,8 +49,8 @@
 			},
 			{
 				"name": "support.function.asp",
-				"comment": "Gringo functions",
-				"match": "#(maximize|minimize|show|hide|showsig|sup|inf|true|false|forget|external|cumulative|disjoint|const|base|include|program)\\b"
+				"comment": "Gringo and asprin functions",
+				"match": "#(maximize|minimize|show|hide|showsig|sup|inf|true|false|forget|external|cumulative|disjoint|const|base|include|program|preference|optimize)\\b"
 			},
 			{
 				"comment": "Gringo script",

Original file line number	Diff line number	Diff line change
`@@ -49,8 +49,8 @@`
`49`	`49`	`},`
`50`	`50`	`{`
`51`	`51`	`"name": "support.function.asp",`
`52`		`- "comment": "Gringo functions",`
`53`		`- "match": "#(maximize\|minimize\|show\|hide\|showsig\|sup\|inf\|true\|false\|forget\|external\|cumulative\|disjoint\|const\|base\|include\|program)\\b"`
	`52`	`+ "comment": "Gringo and asprin functions",`
	`53`	`+ "match": "#(maximize\|minimize\|show\|hide\|showsig\|sup\|inf\|true\|false\|forget\|external\|cumulative\|disjoint\|const\|base\|include\|program\|preference\|optimize)\\b"`
`54`	`54`	`},`
`55`	`55`	`{`
`56`	`56`	`"comment": "Gringo script",`