Unsafe evolution: safe/unsafe externs

Author: wherewhere

.github/workflows/build-and-publish.yml

@@ -13,7 +13,7 @@ jobs:
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v6
+        uses: actions/checkout@v7
         with:
           fetch-depth: 0
 

package.json

@@ -39,7 +39,7 @@
     "@codemirror/buildhelper": "^1.0.0",
     "@codemirror/lang-xml": "^6.0.0",
     "@codemirror/theme-one-dark": "^6.0.0",
-    "@types/node": "^25.6.0",
+    "@types/node": "^26.0.0",
     "@vitejs/plugin-legacy": "^8.0.0",
     "codemirror": "^6.0.0",
     "lz-string": "^1.0.0",

src/keywords.ts

@@ -11,7 +11,7 @@ export const keywords = [
     "namespace", "new", "not", "notnull", "on", "operator",
     "or", "orderby", "out", "override", "params", "partial",
     "private", "protected", "public", "readonly", "record", "ref",
-    "remove", "required", "return", "scoped", "sealed", "select",
+    "remove", "required", "return", "safe", "scoped", "sealed", "select",
     "set", "sizeof", "stackalloc", "static", "struct", "switch",
     "this", "throw", "try", "typeof", "unchecked", "union",
     "unmanaged", "unsafe", "using", "value", "var", "virtual",

src/syntax.grammar

@@ -1126,7 +1126,7 @@ constDeclarator { ConstName !assign '=' expr }
 LocalFuncDecl[group=Declaration] { localFuncHeader localFuncBody }
 
 localFuncHeader {
-	(kw<'async'> | kw<'unsafe'> | kw<'static'> | kw<'extern'>)*
+	(kw<'async'> | kw<'unsafe'> | kw<'safe'> | kw<'static'> | kw<'extern'>)*
 	(ref ~ref)? type MethodName
 	(!typeParams typeParamList)? !params formalParams
 	typeParamConstraintsClause*
@@ -1153,13 +1153,15 @@ topLevelLocalFuncModifiers {
 topLevelLocalFuncModifierHead {
 	kw<'async'> !topLevelLocalFunc
 	| kw<'unsafe'> !topLevelLocalFunc
+	| kw<'safe'> !topLevelLocalFunc
 	| kw<'static'> !topLevelLocalFunc
 	| kw<'extern'> !topLevelLocalFunc
 }
 
 topLevelLocalFuncModifier {
 	kw<'async'>
 	| kw<'unsafe'>
+	| kw<'safe'>
 	| kw<'static'>
 	| kw<'extern'>
 }
@@ -1424,6 +1426,7 @@ modifier {
 	| kw<'partial'>
 	| kw<'ref'>
 	| kw<'required'>
+	| kw<'safe'>
 	| kw<'file'>
 	| kw<'closed'>
 }