work on type inference some more

[ccc.git] / input.txt

diff --git a/input.txt b/input.txt
index 44ec6ef..db93041 100644 (file)
--- a/input.txt
+++ b/input.txt
@@ -2,11 +2,40 @@ var x = 5 == 5;
 var y = x;
 fun(x){
        var x = 5;
+       Int y = 6;
+       6;
+       x.fst = 5;
        6;
        if(true){5;}else{5;}
        '\t';
+       '\'';
+       '\\';
+       '\x01';
+       '\xaa';
+       "abr";
+       "a\br";
+       "a\br\"";
+       "a\xaar\\\0377\01\xa";
+       Int b = 5;
+       while(true) {
+               Bool b = true;
+               var l = [];
+               5;
+       }
 return 5;
 f(); 
 f(x); f(1, 2, []);
 y = 5+x.fst.snd;
 }
+fun(x) :: Int Bool -> Int {
+}
+fun(x) :: -> Void {
+}
+fun(x) :: /* abc */ a b c [a] ([a], b) -> Void {
+}
+/* abc */
+/*
+*/
+//abc
+var y = 0;
+//blurp