summaryrefslogtreecommitdiff
path: root/tests/typing
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-23 04:25:52 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-23 04:25:52 +0100
commit8cff7cfa6d9c2bbf83483e5824fd686d7f5b9ca5 (patch)
tree176cc9aae39c73c97dd93ca2529a8fe1a5c6093f /tests/typing
parent02aa727ea3c8b58b5cc58ea77d21a9188e6b4d19 (diff)
downloadpetitcaml-8cff7cfa6d9c2bbf83483e5824fd686d7f5b9ca5.tar.gz
petitcaml-8cff7cfa6d9c2bbf83483e5824fd686d7f5b9ca5.tar.bz2
[petitcaml] Improve list types printing
Diffstat (limited to 'tests/typing')
-rw-r--r--tests/typing/match.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/typing/match.ml b/tests/typing/match.ml
index a279e78..d79b77f 100644
--- a/tests/typing/match.ml
+++ b/tests/typing/match.ml
@@ -1,7 +1,7 @@
(*
return : 0
output :
-h : int * 'a list -> int
+h : (int * 'a) list -> int
*)
let rec h l =
match l with