summaryrefslogtreecommitdiff
path: root/main.c
diff options
context:
space:
mode:
Diffstat (limited to 'main.c')
-rw-r--r--main.c5
1 files changed, 4 insertions, 1 deletions
diff --git a/main.c b/main.c
index 1c6d7d8..5addc27 100644
--- a/main.c
+++ b/main.c
@@ -18,11 +18,14 @@
/*
TODO:
-struct parameters
- make sure inference works with struct params
- split up a,b::int for parameterized structs (?also maybe normal parameters?)
- allow accessing parameters with .
- make call_arg_param_order work more like parameterized_struct_arg_order
+
+- inferred struct params?
+does this work: fn (a::=3, b::=2)
+ - should either work or give an error: fn()
---
see infer.c "is resolved_to necessary" (now that ident system has changed)
replace is_reference in type_resolve_ with system for checking if type is