diff options
| author | Guillaume Seguin <guillaume@segu.in> | 2009-01-23 04:23:22 +0100 |
|---|---|---|
| committer | Guillaume Seguin <guillaume@segu.in> | 2009-01-23 04:23:22 +0100 |
| commit | 02aa727ea3c8b58b5cc58ea77d21a9188e6b4d19 (patch) | |
| tree | 123a9449fb7e56697e7aabaacdebe99143856a4d /tests | |
| parent | c29508979f6371d506ca539e34216e5ec6d414b4 (diff) | |
| download | petitcaml-02aa727ea3c8b58b5cc58ea77d21a9188e6b4d19.tar.gz petitcaml-02aa727ea3c8b58b5cc58ea77d21a9188e6b4d19.tar.bz2 | |
[petitcaml] Add partial call typing test
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/typing/partial-call.ml | 9 |
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 |