summaryrefslogtreecommitdiff
path: root/main.c
diff options
context:
space:
mode:
Diffstat (limited to 'main.c')
-rw-r--r--main.c5
1 files changed, 3 insertions, 2 deletions
diff --git a/main.c b/main.c
index 33562d0..24cdc47 100644
--- a/main.c
+++ b/main.c
@@ -1,7 +1,8 @@
/*
TODO:
-check fn(x :: int, y := x)
-check fn(x :: int) y := x
+check fn(x :: int, y := x) (run + compile)
+check fn(x :: int) y := x (run + compile)
+check arr @ compile
new version of copy_val for copying types??
there are probably places where we enter a function and never exit (in typing?) if there's an error