summaryrefslogtreecommitdiff
path: root/tests/typing
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-15 22:05:12 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-15 22:05:12 +0100
commitee85f525da54e20afe0dc7dd5583c53545dcad81 (patch)
treee466b6d0be25bd3f314ce9771f87f4223c5740cc /tests/typing
parentd15a8216ab6564a9f07d1ac8fb3a4d39cb96989d (diff)
downloadpetitcaml-ee85f525da54e20afe0dc7dd5583c53545dcad81.tar.gz
petitcaml-ee85f525da54e20afe0dc7dd5583c53545dcad81.tar.bz2
[petitcaml] Fix localisation of errors inside calls
Diffstat (limited to 'tests/typing')
-rw-r--r--tests/typing/call-loc.ml8
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/typing/call-loc.ml b/tests/typing/call-loc.ml
new file mode 100644
index 0000000..a865803
--- /dev/null
+++ b/tests/typing/call-loc.ml
@@ -0,0 +1,8 @@
+(*
+ return : 1
+ output :
+File "tests/typing/call-loc.ml", line 8, characters 12-18:
+Erreur dans l'analyse sémantique : Cette expression a le type string mais est ici utilisée avec le type int
+*)
+let f a b = a + b
+let _ = f 2 "toto"