X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test_cases.ml;h=bff7efc1d49884dcb08687dd90256a76de96fcd8;hp=4902017737b0dd020b42a64fea5805a03975b76b;hb=3be8511c0587d12da978306068c143c71b49f57c;hpb=9d8471b2ec67822e00009c05a5b5ce9cba57b317

diff --git a/compiler/src/lib/tiger/tiger_test_cases.ml b/compiler/src/lib/tiger/tiger_test_cases.ml
index 4902017..bff7efc 100644
--- a/compiler/src/lib/tiger/tiger_test_cases.ml
+++ b/compiler/src/lib/tiger/tiger_test_cases.ml
@@ -230,6 +230,38 @@ let micro =
           [ID "f"; LPAREN; STRING "a"; COMMA; INT 3; COMMA; ID "foo"; RPAREN]
         ~is_error_expected_semant:Error.is_unknown_id
     )
+  ; ( let code =
+        "let
+            type a = int
+            type b = a
+            type c = b
+            var i : a := 2
+            var j : c := 3
+        in
+            i := j
+        end
+        "
+      in
+      Test.case
+        "Type aliases"
+        ~code
+    )
+  ; ( let code =
+        "let
+            type a = {x:int, y:int}
+            type b = {x:int, y:int}  /* new type generated */
+            var foo : a := a {x = 1, y = 2}
+            var bar : b := b {x = 1, y = 2}
+        in
+            foo = bar  /* incompatible types */
+        end
+        "
+      in
+      Test.case
+        code
+        ~code
+				~is_error_expected_semant:Error.is_wrong_type (* TODO: Be more specific *)
+    )
   ]
 
 let all =