Test every book test case

[tiger.ml.git] / compiler / testcases / test34.tig

diff --git a/compiler/testcases/test34.tig b/compiler/testcases/test34.tig
new file mode 100644 (file)
index 0000000..3929a3c
--- /dev/null
+++ b/compiler/testcases/test34.tig
@@ -0,0 +1,6 @@
+/* error : formals and actuals have different types */
+let
+       function g (a:int , b:string):int = a
+in
+       g("one", "two")
+end