summaryrefslogtreecommitdiff
path: root/tests/typing
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-15 22:40:29 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-15 22:40:29 +0100
commit656cff28c55590648b17ba36553e748cda445e2b (patch)
treed52477bf40a12bec4625773d306135aef2121474 /tests/typing
parentd044a93f39682268ffca60159bd1a0706d2d6050 (diff)
downloadpetitcaml-656cff28c55590648b17ba36553e748cda445e2b.tar.gz
petitcaml-656cff28c55590648b17ba36553e748cda445e2b.tar.bz2
[petitcaml] Fix another bunch of error localisation bugs
Diffstat (limited to 'tests/typing')
-rw-r--r--tests/typing/match-fail.ml2
-rw-r--r--tests/typing/match-fail3.ml2
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/typing/match-fail.ml b/tests/typing/match-fail.ml
index f3a6e6a..396435f 100644
--- a/tests/typing/match-fail.ml
+++ b/tests/typing/match-fail.ml
@@ -1,7 +1,7 @@
(*
return : 1
output :
-File "tests/typing/match-fail.ml", line 8, characters 4-39:
+File "tests/typing/match-fail.ml", line 9, characters 21-27:
Erreur dans l'analyse sémantique : Motif interdit dans le filtrage de la queue de liste
*)
let rec h l =
diff --git a/tests/typing/match-fail3.ml b/tests/typing/match-fail3.ml
index f2a7070..42cda8d 100644
--- a/tests/typing/match-fail3.ml
+++ b/tests/typing/match-fail3.ml
@@ -1,7 +1,7 @@
(*
return : 1
output :
-File "tests/typing/match-fail3.ml", line 8, characters 4-27:
+File "tests/typing/match-fail3.ml", line 9, characters 21-22:
Erreur dans l'analyse sémantique : Variable a non unique dans ce motif
*)
let rec h l =