summaryrefslogtreecommitdiff
path: root/tests/typing
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-15 22:59:59 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-15 22:59:59 +0100
commitb6d744438272c5e1b980a36e12336277406e3168 (patch)
treeca22d6f1cca521716f7500578748fc35730b03fd /tests/typing
parent46186090a9dc422369863e8c742800d15eea85c1 (diff)
downloadpetitcaml-b6d744438272c5e1b980a36e12336277406e3168.tar.gz
petitcaml-b6d744438272c5e1b980a36e12336277406e3168.tar.bz2
[petitcaml] Add another localisation test
Diffstat (limited to 'tests/typing')
-rw-r--r--tests/typing/call-loc2.ml9
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/typing/call-loc2.ml b/tests/typing/call-loc2.ml
new file mode 100644
index 0000000..26bb075
--- /dev/null
+++ b/tests/typing/call-loc2.ml
@@ -0,0 +1,9 @@
+(*
+ 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)
+*)
+let f a = a + 42
+let _ = f
+ 2 "toto"