diff --git a/test_type_checker.cat b/test_type_checker.cat index 6dfcfcf..092d335 100644 --- a/test_type_checker.cat +++ b/test_type_checker.cat @@ -1,9 +1,6 @@ let asdf := 123.0 let poop :: 12 as f32 + 2.0 * asdf -\fn name {} fn name(a b: i32) i32 { } -\fn name() {} -\fn name(param1 param2 param3: i32, param4: u32) u32 { } name 123 456 diff --git a/type_checker.odin b/type_checker.odin index 4bbd3d3..70ea67c 100644 --- a/type_checker.odin +++ b/type_checker.odin @@ -165,6 +165,8 @@ type_check :: proc(ast: ^Node, parent_ast: ^Node) { ) } } + + ast.return_type = fn.return_type } case .Identifier: type := scope_variable_lookup(ast.value.([dynamic]u8))