types and locations

[ccc.git] / input.txt

diff --git a/input.txt b/input.txt
index 44ec6ef..a9d1fde 100644 (file)
--- a/input.txt
+++ b/input.txt
@@ -2,6 +2,8 @@ var x = 5 == 5;
 var y = x;
 fun(x){
        var x = 5;
+       Int y = 6;
+       x y = 6;
        6;
        if(true){5;}else{5;}
        '\t';
@@ -10,3 +12,9 @@ f();
 f(x); f(1, 2, []);
 y = 5+x.fst.snd;
 }
+fun(x) :: Int Bool -> Int {
+}
+fun(x) :: -> Void {
+}
+fun(x) :: a b c [a] ([a], b) -> Void {
+}