summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-23 04:23:22 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-23 04:23:22 +0100
commit02aa727ea3c8b58b5cc58ea77d21a9188e6b4d19 (patch)
tree123a9449fb7e56697e7aabaacdebe99143856a4d
parentc29508979f6371d506ca539e34216e5ec6d414b4 (diff)
downloadpetitcaml-02aa727ea3c8b58b5cc58ea77d21a9188e6b4d19.tar.gz
petitcaml-02aa727ea3c8b58b5cc58ea77d21a9188e6b4d19.tar.bz2
[petitcaml] Add partial call typing test
-rw-r--r--tests/typing/partial-call.ml9
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/typing/partial-call.ml b/tests/typing/partial-call.ml
new file mode 100644
index 0000000..aca5121
--- /dev/null
+++ b/tests/typing/partial-call.ml
@@ -0,0 +1,9 @@
+(*
+ return : 0
+ output :
+f : ('a -> 'b -> 'c) -> 'a -> 'b -> 'c
+*)
+let f g a b =
+ let h = g a
+ in
+ h b