work on type inference some more

[ccc.git] / input.txt

diff --git a/input.txt b/input.txt
index a9d1fde..db93041 100644 (file)
--- a/input.txt
+++ b/input.txt
@@ -3,10 +3,25 @@ var y = x;
 fun(x){
        var x = 5;
        Int y = 6;
-       x 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, []);
@@ -16,5 +31,11 @@ fun(x) :: Int Bool -> Int {
 }
 fun(x) :: -> Void {
 }
-fun(x) :: a b c [a] ([a], b) -> Void {
+fun(x) :: /* abc */ a b c [a] ([a], b) -> Void {
 }
+/* abc */
+/*
+*/
+//abc
+var y = 0;
+//blurp