summaryrefslogtreecommitdiff
path: root/tests/typing
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-22 02:59:00 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-22 02:59:00 +0100
commitde694c04d457c7e40f8c1f4d42c8891a812838db (patch)
tree5f0404ec5ea7683859d8dda8a8d636aea7b6121a /tests/typing
parent20494686e2ac5960a913ddf6c6c9de2660592790 (diff)
downloadpetitcaml-de694c04d457c7e40f8c1f4d42c8891a812838db.tar.gz
petitcaml-de694c04d457c7e40f8c1f4d42c8891a812838db.tar.bz2
[petitcaml] Update tests expected errors
Diffstat (limited to 'tests/typing')
-rw-r--r--tests/typing/base-fail.ml2
-rw-r--r--tests/typing/call-loc2.ml2
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/typing/base-fail.ml b/tests/typing/base-fail.ml
index d10d25b..a0427bc 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/call-loc2.ml b/tests/typing/call-loc2.ml
index 26bb075..abd39dd 100644
--- a/tests/typing/call-loc2.ml
+++ b/tests/typing/call-loc2.ml
@@ -2,7 +2,7 @@
return : 1
output :
File "tests/typing/call-loc2.ml", line 8, characters 8-19:
-Erreur dans l'analyse sémantique : Cette expression a le type int mais est ici utilisée avec le type ('b -> 'a)
+Erreur dans l'analyse sémantique : Cette expression a le type int mais est ici utilisée avec le type 'a -> 'b
*)
let f a = a + 42
let _ = f