Merge pull request #713 from Kipper-Lang/dev-main

v0.12.1

Author: Luna-Klatzer

CHANGELOG.md

@@ -28,6 +28,24 @@ To use development versions of Kipper download the
 
 </details>
 
+## [0.12.1] - 2025-02-17
+
+### Changed
+
+- Renamed:
+  - Error `MismatchingArgCountBetweenFuncTypesError` to `MismatchingArgCountBetweenFuncTypesTypeError`.
+  - Error `UnknownTypeError` to `UnknownTypeTypeError`.
+  - Error `PropertyNotFoundError` to `PropertyNotFoundTypeError`.
+
+### Fixed
+
+- `PropertyNotFoundTypeError` being thrown as a stand-alone error instead of being set as the cause for any parent
+  assignment operation failure.
+- `PropertyNotFoundTypeError` being checked for in the wrong direction i.e. that `otherT` had to have all the properties
+  of `thisT` instead of the other way around (which is the correct way).
+- Indexable checks for `str` and `Array<T>` being accidentally turned off by incorrect logic. This caused
+  `ValueTypeNotIndexableWithGivenAccessorTypeError` to be only thrown for objects and not for arrays and strings.
+
 ## [0.12.0] - 2024-09-25
 
 ### Added
@@ -1606,7 +1624,8 @@ To use development versions of Kipper download the
 
 - Updated file structure to separate `commands` (for `oclif`) and `compiler` (for the compiler source-code)
 
-[unreleased]: https://github.com/Kipper-Lang/Kipper/compare/v0.12.0...HEAD
+[unreleased]: https://github.com/Kipper-Lang/Kipper/compare/v0.12.1...HEAD
+[0.12.1]: https://github.com/Kipper-Lang/Kipper/compare/v0.12.0...v0.12.1
 [0.12.0]: https://github.com/Kipper-Lang/Kipper/compare/v0.11.0...v0.12.0
 [0.11.0]: https://github.com/Kipper-Lang/Kipper/compare/v0.10.4...v0.11.0
 [0.10.4]: https://github.com/Kipper-Lang/Kipper/compare/v0.10.3...v0.10.4

CITATION.cff

@@ -21,8 +21,8 @@ authors:
 identifiers:
   - type: url
     value: >-
-      https://github.com/Kipper-Lang/Kipper/releases/tag/v0.12.0
-    description: The GitHub release URL of tag 0.12.0
+      https://github.com/Kipper-Lang/Kipper/releases/tag/v0.12.1
+    description: The GitHub release URL of tag 0.12.1
 repository-code: 'https://github.com/Kipper-Lang/Kipper/'
 url: 'https://kipper-lang.org'
 abstract: >-
@@ -39,6 +39,6 @@ keywords:
   - oop-programming
   - type-safety
 license: GPL-3.0-or-later
-license-url: 'https://github.com/Kipper-Lang/Kipper/blob/v0.12.0/LICENSE'
-version: 0.12.0
-date-released: '2024-09-25'
+license-url: 'https://github.com/Kipper-Lang/Kipper/blob/v0.12.1/LICENSE'
+version: 0.12.1
+date-released: '2025-02-17'

kipper/cli/README.md

@@ -22,10 +22,9 @@ and the [Kipper website](https://kipper-lang.org)._
 [![DOI](https://zenodo.org/badge/411260595.svg)](https://zenodo.org/badge/latestdoi/411260595)
 
 <!-- toc -->
-
-- [Kipper CLI - `@kipper/cli` 🦊✨](#kipper-cli---kippercli-)
-- [Usage](#usage)
-- [Commands](#commands)
+* [Kipper CLI - `@kipper/cli` 🦊✨](#kipper-cli---kippercli-)
+* [Usage](#usage)
+* [Commands](#commands)
 <!-- tocstop -->
 
 ## General Information
@@ -40,30 +39,27 @@ and the [Kipper website](https://kipper-lang.org)._
 # Usage
 
 <!-- usage -->
-
 ```sh-session
 $ npm install -g @kipper/cli
 $ kipper COMMAND
 running command...
 $ kipper (--version)
-@kipper/cli/0.12.0 linux-x64 node-v20.15.0
+@kipper/cli/0.12.1 linux-x64 node-v23.4.0
 $ kipper --help [COMMAND]
 USAGE
   $ kipper COMMAND
 ...
 ```
-
 <!-- usagestop -->
 
 # Commands
 
 <!-- commands -->
-
-- [`kipper compile [FILE]`](#kipper-compile-file)
-- [`kipper help [COMMAND]`](#kipper-help-command)
-- [`kipper new [LOCATION]`](#kipper-new-location)
-- [`kipper run [FILE]`](#kipper-run-file)
-- [`kipper version`](#kipper-version)
+* [`kipper compile [FILE]`](#kipper-compile-file)
+* [`kipper help [COMMAND]`](#kipper-help-command)
+* [`kipper new [LOCATION]`](#kipper-new-location)
+* [`kipper run [FILE]`](#kipper-run-file)
+* [`kipper version`](#kipper-version)
 
 ## `kipper compile [FILE]`
 
@@ -115,7 +111,7 @@ EXAMPLES
   kipper compile -t ts ./path/to/file.kip -o build/ -e utf16le --warnings --log-timestamp
 ```
 
-_See code: [src/commands/compile.ts](https://github.com/Kipper-Lang/Kipper/blob/v0.12.0/kipper/cli/src/commands/compile.ts)_
+_See code: [src/commands/compile.ts](https://github.com/Kipper-Lang/Kipper/blob/v0.12.1/kipper/cli/src/commands/compile.ts)_
 
 ## `kipper help [COMMAND]`
 
@@ -132,7 +128,7 @@ OPTIONS
   --all  see all commands in CLI
 ```
 
-_See code: [src/commands/help.ts](https://github.com/Kipper-Lang/Kipper/blob/v0.12.0/kipper/cli/src/commands/help.ts)_
+_See code: [src/commands/help.ts](https://github.com/Kipper-Lang/Kipper/blob/v0.12.1/kipper/cli/src/commands/help.ts)_
 
 ## `kipper new [LOCATION]`
 
@@ -149,7 +145,7 @@ OPTIONS
   -d, --default  Use the default settings for the new project. Skips the setup wizard.
 ```
 
-_See code: [src/commands/new.ts](https://github.com/Kipper-Lang/Kipper/blob/v0.12.0/kipper/cli/src/commands/new.ts)_
+_See code: [src/commands/new.ts](https://github.com/Kipper-Lang/Kipper/blob/v0.12.1/kipper/cli/src/commands/new.ts)_
 
 ## `kipper run [FILE]`
 
@@ -194,7 +190,7 @@ EXAMPLES
   kipper run -t ts -o build/ -e utf8 -s "print('Hello, World!');" --warnings --log-timestamp
 ```
 
-_See code: [src/commands/run.ts](https://github.com/Kipper-Lang/Kipper/blob/v0.12.0/kipper/cli/src/commands/run.ts)_
+_See code: [src/commands/run.ts](https://github.com/Kipper-Lang/Kipper/blob/v0.12.1/kipper/cli/src/commands/run.ts)_
 
 ## `kipper version`
 
@@ -205,8 +201,7 @@ USAGE
   $ kipper version
 ```
 
-_See code: [src/commands/version.ts](https://github.com/Kipper-Lang/Kipper/blob/v0.12.0/kipper/cli/src/commands/version.ts)_
-
+_See code: [src/commands/version.ts](https://github.com/Kipper-Lang/Kipper/blob/v0.12.1/kipper/cli/src/commands/version.ts)_
 <!-- commandsstop -->
 
 ## Contributing to Kipper

kipper/cli/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@kipper/cli",
   "description": "The Kipper Command Line Interface (CLI).",
-  "version": "0.12.0",
+  "version": "0.12.1",
   "author": "Luna-Klatzer @Luna-Klatzer",
   "bin": {
     "kipper": "./bin/run",

kipper/cli/src/index.ts

@@ -13,7 +13,7 @@ export * from "./output/compile";
 // eslint-disable-next-line no-unused-vars
 export const name = "@kipper/cli";
 // eslint-disable-next-line no-unused-vars
-export const version = "0.12.0";
+export const version = "0.12.1";
 // eslint-disable-next-line no-unused-vars
 export const author = "Luna Klatzer";
 // eslint-disable-next-line no-unused-vars

kipper/config/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "@kipper/config",
 	"description": "The config file support package adding support for kip-config.json/kipper-config.json 🦊",
-	"version": "0.12.0",
+	"version": "0.12.1",
 	"author": "Luna-Klatzer @Luna-Klatzer",
 	"dependencies": {
 		"is-plain-object": "5.0.0",

kipper/config/src/index.ts

@@ -12,7 +12,7 @@ export * from "./evaluated-kipper-config-file";
 // eslint-disable-next-line no-unused-vars
 export const name = "@kipper/config";
 // eslint-disable-next-line no-unused-vars
-export const version = "0.12.0";
+export const version = "0.12.1";
 // eslint-disable-next-line no-unused-vars
 export const author = "Luna Klatzer";
 // eslint-disable-next-line no-unused-vars

kipper/core/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "@kipper/core",
 	"description": "The core implementation of the Kipper compiler 🦊",
-	"version": "0.12.0",
+	"version": "0.12.1",
 	"author": "Luna-Klatzer @Luna-Klatzer",
 	"dependencies": {
 		"antlr4ts": "^0.5.0-alpha.4",

kipper/core/src/compiler/ast/nodes/root-ast-node.ts

@@ -174,6 +174,16 @@ export class RootASTNode extends ParserASTNode<NoSemantics, NoTypeSemantics> imp
 		this._children.push(newChild);
 	}
 
+	private async _processAnalysis(toCall: (item: (typeof this.children)[number]) => Promise<void>): Promise<void> {
+		for (let child of this.children) {
+			try {
+				await toCall(child);
+			} catch (e) {
+				this.handleSemanticError(<Error>e);
+			}
+		}
+	}
+
 	/**
 	 * Semantically analyses the children tokens of this
 	 * {@link RootASTNode instance} and performs additional
@@ -182,41 +192,16 @@ export class RootASTNode extends ParserASTNode<NoSemantics, NoTypeSemantics> imp
 	 */
 	public async semanticAnalysis(): Promise<void> {
 		// Core semantic analysis
-		for (let child of this.children) {
-			try {
-				await child.semanticAnalysis();
-			} catch (e) {
-				await this.handleSemanticError(<Error>e);
-			}
-		}
+		await this._processAnalysis((item) => item.semanticAnalysis());
 
 		// Perform preliminary semantic analysis in case any specific type evaluation is required prematurely (ahead of
-		// time type evaluation)
-		for (let child of this.children) {
-			try {
-				await child.preliminaryTypeChecking();
-			} catch (e) {
-				await this.handleSemanticError(<Error>e);
-			}
-		}
+		await this._processAnalysis((item) => item.preliminaryTypeChecking());
 
 		// Perform type-checking based on the existing AST nodes and evaluated semantics
-		for (let child of this.children) {
-			try {
-				await child.semanticTypeChecking();
-			} catch (e) {
-				await this.handleSemanticError(<Error>e);
-			}
-		}
+		await this._processAnalysis((item) => item.semanticTypeChecking());
 
 		// Perform wrap-up semantic analysis for the specified target
-		for (let child of this.children) {
-			try {
-				await child.wrapUpSemanticAnalysis();
-			} catch (e) {
-				await this.handleSemanticError(<Error>e);
-			}
-		}
+		await this._processAnalysis((item) => item.wrapUpSemanticAnalysis());
 
 		// Check for warnings, if they are enabled
 		if (this.compileConfig.warnings) {

kipper/core/src/compiler/semantics/analyser/type-checker.ts

@@ -67,7 +67,7 @@ import {
 	PropertyDoesNotExistError,
 	ReadOnlyWriteTypeError,
 	ReferenceCanNotBeUsedAsTypeError,
-	UnknownTypeError,
+	UnknownTypeTypeError,
 	ValueNotIndexableTypeError,
 	ValueTypeNotIndexableWithGivenAccessor,
 } from "../../../errors";
@@ -93,7 +93,7 @@ export class KipperTypeChecker extends KipperSemanticsAsserter {
 	public getTypeFromIdentifier(type: string, scope: Scope): ScopeTypeDeclaration {
 		const scopeEntry = scope.getEntryRecursively(type);
 		if (scopeEntry === undefined) {
-			throw this.assertError(new UnknownTypeError(type));
+			throw this.assertError(new UnknownTypeTypeError(type));
 		} else if (!(scopeEntry instanceof ScopeTypeDeclaration)) {
 			throw this.assertError(new ReferenceCanNotBeUsedAsTypeError(type));
 		}
@@ -665,18 +665,11 @@ export class KipperTypeChecker extends KipperSemanticsAsserter {
 			return;
 		}
 
-		if (
-			!objType.isAssignableTo(BuiltInTypes.str) &&
-			!objType.isAssignableTo(BuiltInTypes.Array) &&
-			!objType.isAssignableTo(BuiltInTypes.obj)
-		) {
+		const isStrOrArr = objType.isAssignableTo(BuiltInTypes.str) || objType.isAssignableTo(BuiltInTypes.Array);
+		const isObj = objType.isAssignableTo(BuiltInTypes.obj);
+		if (!isStrOrArr && !isObj) {
 			throw this.assertError(new ValueNotIndexableTypeError(objType.toString()));
-		} else if (
-			(objType.isAssignableTo(BuiltInTypes.str) &&
-				objType.isAssignableTo(BuiltInTypes.Array) &&
-				accessType === "dot") ||
-			(objType.isAssignableTo(BuiltInTypes.obj) && accessType !== "dot")
-		) {
+		} else if ((isStrOrArr && accessType === "dot") || (isObj && accessType !== "dot")) {
 			throw this.assertError(new ValueTypeNotIndexableWithGivenAccessor(objType.toString(), accessType));
 		}
 	}

kipper/core/src/compiler/semantics/types/built-in/func.ts

@@ -5,7 +5,7 @@ import {
 	ArgumentAssignmentTypeError,
 	AssignmentTypeError,
 	GenericArgumentTypeError,
-	MismatchingArgCountBetweenFuncTypesError,
+	MismatchingArgCountBetweenFuncTypesTypeError,
 	PropertyAssignmentTypeError,
 	type TypeError,
 } from "../../../../errors";
@@ -86,7 +86,7 @@ export class BuiltInTypeFunc extends GenericBuiltInType<BuiltInTypeFuncGenericAr
 			const [otherParamTypes, otherReturnType] = (<typeof this>type).genericTypeArguments;
 
 			if (paramTypes.type.length !== otherParamTypes.type.length) {
-				throw new MismatchingArgCountBetweenFuncTypesError(otherParamTypes.type.length, paramTypes.type.length);
+				throw new MismatchingArgCountBetweenFuncTypesTypeError(otherParamTypes.type.length, paramTypes.type.length);
 			}
 
 			try {

kipper/core/src/compiler/semantics/types/custom-type.ts

@@ -4,7 +4,7 @@ import {
 	ArgumentAssignmentTypeError,
 	AssignmentTypeError,
 	PropertyAssignmentTypeError,
-	PropertyNotFoundError,
+	PropertyNotFoundTypeError,
 } from "../../../errors";
 import type { ClassDeclaration, InterfaceDeclaration, ObjectPrimaryExpression } from "../../ast";
 import { BuiltInTypes } from "../symbol-table";
@@ -162,28 +162,44 @@ export class CustomType extends ProcessedType {
 	 * @throws AssignmentTypeError If the types are not assignable.
 	 * @throws PropertyAssignmentTypeError If a property is not assignable.
 	 * @throws ArgumentAssignmentTypeError If an argument is not assignable.
-	 * @throws PropertyNotFoundError If a property is not found.
+	 * @throws PropertyNotFoundTypeError If a property is not found in this type.
 	 * @since 0.12.0
 	 */
 	assertAssignableTo(type: ProcessedType, propertyName?: string, argumentName?: string): void {
 		if (this === type || type === BuiltInTypes.any || type === BuiltInTypes.obj) {
 			return;
 		} else if (type instanceof CustomType && type.kind === "interface") {
-			for (const [fieldName, fieldType] of this.fields) {
-				const targetTypeField = type.fields.get(fieldName);
-				if (!targetTypeField) {
-					throw new PropertyNotFoundError(type.identifier, fieldName);
+			for (const [fieldName, otherFieldType] of type.fields) {
+				let caughtError: TypeError | undefined;
+
+				const thisFieldType = this.fields.get(fieldName);
+				if (!thisFieldType) {
+					caughtError = new PropertyNotFoundTypeError(this.identifier, type.identifier, fieldName);
+				} else {
+					try {
+						thisFieldType.assertAssignableTo(otherFieldType, fieldName);
+					} catch (error) {
+						caughtError = <TypeError>error;
+					}
 				}
 
-				try {
-					fieldType.assertAssignableTo(targetTypeField, fieldName);
-				} catch (error) {
+				if (caughtError) {
 					if (propertyName) {
-						throw new PropertyAssignmentTypeError(propertyName, type.identifier, this.identifier, <TypeError>error);
+						throw new PropertyAssignmentTypeError(
+							propertyName,
+							type.identifier,
+							this.identifier,
+							<TypeError>caughtError,
+						);
 					} else if (argumentName) {
-						throw new ArgumentAssignmentTypeError(argumentName, type.identifier, this.identifier, <TypeError>error);
+						throw new ArgumentAssignmentTypeError(
+							argumentName,
+							type.identifier,
+							this.identifier,
+							<TypeError>caughtError,
+						);
 					} else {
-						throw new AssignmentTypeError(type.identifier, this.identifier, <TypeError>error);
+						throw new AssignmentTypeError(type.identifier, this.identifier, <TypeError>caughtError);
 					}
 				}
 			}