Updated to Langium 3.5 for the upcoming v0.2.2 (#88)

# Conflicts:
#	examples/lox/package.json
#	examples/ox/package.json
#	package-lock.json
#	packages/typir-langium/package.json

Author: JohannesMeierSE

CHANGELOG.md

@@ -4,6 +4,13 @@ We roughly follow the ideas of [semantic versioning](https://semver.org/).
 Note that the versions "0.x.0" probably will include breaking changes.
 
 
+## v0.2.2 (2025-07-??)
+
+- Fixed wrong imports of `assertUnreachable` (#86)
+- Copy instead of reuse arrays with language keys to prevent side effects (#87)
+- Updated Typir-Langium to Langium v3.5 (#88)
+
+
 ## v0.2.1 (2025-04-09)
 
 - Export `test-utils.ts` which are using `vitest` via the new namespace `'typir/test'` in order to not pollute production code with vitest dependencies (#68)
@@ -27,7 +34,7 @@ Note that the versions "0.x.0" probably will include breaking changes.
 - Thanks to the new chaining API for defining types (see corresponding breaking changes below), they can be annotated in TypeScript-type-safe way with multiple inference rules, e.g. multiple inference rules for class literals with `typir.factory.Classes.create({...}).inferenceRuleForClassLiterals({...}).inferenceRuleForClassLiterals({...}).finish();` (#64).
 - Provide new `expectValidationIssues*(...)` utilities for developers to ease the writing of test cases for Typir-based type systems (#64).
 - Create the predefined validations using the factory API, e.g. `typir.factory.Functions.createUniqueFunctionValidation()` and `typir.factory.Classes.createNoSuperClassCyclesValidation()`, see LOX for examples. Benefits of this design decision: the returned rule is easier to exchange, users can use the known factory API with auto-completion (no need to remember the names of the validations) (#64)
-- Updated Langium-Typir to Langium v3.4 (#65)
+- Updated Typir-Langium to Langium v3.4 (#65)
 
 ### Breaking changes
 

examples/lox/package.json

@@ -29,14 +29,14 @@
     },
     "dependencies": {
         "commander": "~12.1.0",
-        "langium": "~3.4.0",
+        "langium": "~3.5.0",
         "typir-langium": "~0.2.1",
         "vscode-languageclient": "~9.0.1",
         "vscode-languageserver": "~9.0.1"
     },
     "devDependencies": {
         "@types/vscode": "~1.94.0",
-        "langium-cli": "~3.4.0"
+        "langium-cli": "~3.5.2"
     },
     "files": [
         "bin",

examples/ox/package.json

@@ -29,14 +29,14 @@
     },
     "dependencies": {
         "commander": "~12.1.0",
-        "langium": "~3.4.0",
+        "langium": "~3.5.0",
         "typir-langium": "~0.2.1",
         "vscode-languageclient": "~9.0.1",
         "vscode-languageserver": "~9.0.1"
     },
     "devDependencies": {
         "@types/vscode": "~1.94.0",
-        "langium-cli": "~3.4.0"
+        "langium-cli": "~3.5.2"
     },
     "files": [
         "bin",

package-lock.json

@@ -49,7 +49,7 @@
   },
   "bugs": "https://github.com/TypeFox/typir/issues",
   "dependencies": {
-    "langium": "~3.4.0",
+    "langium": "~3.5.0",
     "typir": "~0.2.1"
   }
 }

packages/typir-langium/package.json

@@ -146,24 +146,6 @@ export class DefaultTypeInferenceCollector<LanguageType> implements TypeInferenc
         this.ruleRegistry.addListener(this);
     }
 
-    protected getTypeInferenceRuleOptions(options?: Partial<TypeInferenceRuleOptions>): TypeInferenceRuleOptions {
-        return {
-            // default values ...
-            languageKey: undefined,
-            boundToType: undefined,
-            // ... overridden by the actual options:
-            ...options,
-        };
-    }
-
-    protected getLanguageKeys(options?: Partial<TypeInferenceRuleOptions>): Array<string|undefined> {
-        if (options === undefined || options.languageKey === undefined) {
-            return [undefined];
-        } else {
-            return toArray(options.languageKey);
-        }
-    }
-
     addInferenceRule<InputType extends LanguageType = LanguageType>(rule: TypeInferenceRule<LanguageType, InputType>, givenOptions?: Partial<TypeInferenceRuleOptions>): void {
         this.ruleRegistry.addRule(rule as unknown as TypeInferenceRule<LanguageType>, givenOptions);
     }

packages/typir/src/services/inference.ts

@@ -322,7 +322,7 @@ function toSignatureArray<T>(values: {
     signature?: T;
     signatures?: T[];
 }): T[] {
-    const result = [...toArray(values.signatures)]; // create a new array in order to prevent side-effects in the given array
+    const result = toArray(values.signatures, { newArray: true }); // create a new array in order to prevent side-effects in the given array
     if (values.signature) {
         result.push(values.signature);
     }