aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/codegen.cpp7
-rw-r--r--src/ir.cpp11
2 files changed, 11 insertions, 7 deletions
diff --git a/src/codegen.cpp b/src/codegen.cpp
index ee85d7d3c4..fc872e1908 100644
--- a/src/codegen.cpp
+++ b/src/codegen.cpp
@@ -6378,7 +6378,7 @@ static void define_builtin_compile_vars(CodeGen *g) {
" Fn: Fn,\n"
" Namespace: void,\n"
" Block: void,\n"
- " BoundFn: BoundFn,\n"
+ " BoundFn: Fn,\n"
" ArgTuple: void,\n"
" Opaque: void,\n"
" Promise: Promise,\n"
@@ -6494,11 +6494,6 @@ static void define_builtin_compile_vars(CodeGen *g) {
" args: []FnArg,\n"
" };\n"
"\n"
- " pub const BoundFn = struct {\n"
- " bound_type: type,\n"
- " fn_info: Fn,\n"
- " };\n"
- "\n"
" pub const Promise = struct {\n"
" child: type,\n"
" };\n"
diff --git a/src/ir.cpp b/src/ir.cpp
index a7076a3243..c2da83886a 100644
--- a/src/ir.cpp
+++ b/src/ir.cpp
@@ -16241,7 +16241,7 @@ static ConstExprValue *ir_make_type_info_value(IrAnalyze *ira, TypeTableEntry *t
result->special = ConstValSpecialStatic;
result->type = ir_type_info_get_type(ira, "Fn");
- ConstExprValue *fields = create_const_vals(5);
+ ConstExprValue *fields = create_const_vals(6);
result->data.x_struct.fields = fields;
// @TODO Fix type = undefined with ?type
@@ -16327,6 +16327,15 @@ static ConstExprValue *ir_make_type_info_value(IrAnalyze *ira, TypeTableEntry *t
break;
}
+ case TypeTableEntryIdBoundFn:
+ {
+ // @TODO figure out memory corruption error.
+ TypeTableEntry *fn_type = type_entry->data.bound_fn.fn_type;
+ assert(fn_type->id == TypeTableEntryIdFn);
+ result = ir_make_type_info_value(ira, fn_type);
+
+ break;
+ }
}
assert(result != nullptr);