summaryrefslogtreecommitdiff
path: root/tests/typing/partial-call.ml
diff options
context:
space:
mode:
Diffstat (limited to 'tests/typing/partial-call.ml')
-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