Simplify to register additional/custom Typir services

CHANGELOG.md

@@ -44,6 +44,13 @@ For each minor and major version, there is a corresponding [milestone on GitHub]
 - ...
 
 
+## v0.3.0 (2025-??-??)
+
+### Fixed bugs
+
+- The logic to ensure that types are not created multiple times needs to check that the kind of the types is the same. Otherwise a collision of duplicated identifiers of types needs to be reported.
+
+
 ## 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)

packages/typir/src/initialization/type-initializer.ts

@@ -42,6 +42,9 @@ export abstract class TypeInitializer<T extends Type, LanguageType> {
         }
         const existingType = this.services.infrastructure.Graph.getType(key);
         if (existingType) {
+            if (newType.kind !== existingType.kind) {
+                throw new Error(`A new type with identifier '${key}' and kind '${newType.kind.$name}' (implemented in ${newType.kind.constructor.name}) shall be created, but there is already a type with identifier '${key}' and kind '${existingType.kind.$name}' (implemented in ${existingType.kind.constructor.name}) in the type graph.`);
+            }
             // ensure, that the same type is not duplicated!
             this.typeToReturn = existingType as T;
             newType.dispose();