summaryrefslogtreecommitdiff
path: root/tests/typing
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-14 09:39:18 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-14 09:39:18 +0100
commiteae584152cd35e0ee489a7f2938878fb294faa9e (patch)
treefd5472f1d24f7e385d0cbdfe1a2a7c325272cce9 /tests/typing
parent44b8335645e10cc1065eea8c904a3b8bd11da378 (diff)
downloadpetitcaml-eae584152cd35e0ee489a7f2938878fb294faa9e.tar.gz
petitcaml-eae584152cd35e0ee489a7f2938878fb294faa9e.tar.bz2
[petitcaml] Make it actually work
Diffstat (limited to 'tests/typing')
-rw-r--r--tests/typing/base-fail.ml2
-rw-r--r--tests/typing/match-fail3.ml9
2 files changed, 10 insertions, 1 deletions
diff --git a/tests/typing/base-fail.ml b/tests/typing/base-fail.ml
index a0427bc..d10d25b 100644
--- a/tests/typing/base-fail.ml
+++ b/tests/typing/base-fail.ml
@@ -2,6 +2,6 @@
return : 1
output :
File "tests/typing/base-fail.ml", line 7, characters 8-14:
-Erreur dans l'analyse sémantique : Cette expression a le type int * int mais est ici utilisée avec le type int
+Erreur dans l'analyse sémantique : Cette expression a le type (int * int) mais est ici utilisée avec le type int
*)
let _ = (1, 2) + 3
diff --git a/tests/typing/match-fail3.ml b/tests/typing/match-fail3.ml
new file mode 100644
index 0000000..f2a7070
--- /dev/null
+++ b/tests/typing/match-fail3.ml
@@ -0,0 +1,9 @@
+(*
+ return : 1
+ output :
+File "tests/typing/match-fail3.ml", line 8, characters 4-27:
+Erreur dans l'analyse sémantique : Variable a non unique dans ce motif
+*)
+let rec h l =
+ match l with
+ [] -> 0 | a::a -> a