fix(checker): ensure fun param type exists

bait-lang · Dec 27, 2023 · c351e09 · c351e09
1 parent 30daa9a
commit c351e09
Show file tree

Hide file tree

Showing 6 changed files with 19 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,13 @@ All notable changes will be documented in this file.
 > Right now Bait is in an Alpha State (`0.0.x`). Breaking changes might occur anytime.
 
 
+## 0.0.7
+_unreleased_
+
+### Type Checks
+- Ensure function parameter type exists
+
+
 ## 0.0.6
 _26 December 2023_
 

diff --git a/lib/bait/checker/fun.bt b/lib/bait/checker/fun.bt
@@ -60,6 +60,10 @@ fun (c Checker) fun_params(params []ast.Param){
 		}
 
 		sym := c.table.get_sym(p.typ)
+		if not c.does_type_exist(sym, p.pos) {
+			continue
+		}
+
 		if sym.kind == .fun_ {
 			c.scope.register(p.name, ast.ScopeObject{
 				typ = p.typ

diff --git a/tests/out/error/other/unknown_type.in.bt b/tests/out/error/other/unknown_type.in.bt
diff --git a/tests/out/error/other/unknown_type.out b/tests/out/error/other/unknown_type.out
diff --git a/tests/out/error/type/unknown.in.bt b/tests/out/error/type/unknown.in.bt
@@ -0,0 +1,6 @@
+// fun params
+fun foo (y MyType) {
+
+	// casting
+	x := 1 as u7
+}
diff --git a/tests/out/error/type/unknown.out b/tests/out/error/type/unknown.out
@@ -0,0 +1,2 @@
+tests/out/error/type/unknown.in.bt:2:9 error: unknown type MyType
+tests/out/error/type/unknown.in.bt:5:8 error: unknown type u7
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		tests/out/error/type/unknown.in.bt:2:9 error: unknown type MyType
		tests/out/error/type/unknown.in.bt:5:8 error: unknown type u7