summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-23 04:32:23 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-23 04:32:23 +0100
commit2f8c52edfd91c41ec1912bff084c3c1b125bd5e8 (patch)
tree86afee669d6adec37254044b714bfd4a0ac81a53
parent8cff7cfa6d9c2bbf83483e5824fd686d7f5b9ca5 (diff)
downloadpetitcaml-2f8c52edfd91c41ec1912bff084c3c1b125bd5e8.tar.gz
petitcaml-2f8c52edfd91c41ec1912bff084c3c1b125bd5e8.tar.bz2
[petitcaml] Add new mini additionnal test for lists of tuples
-rw-r--r--tests/typing/lists.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/typing/lists.ml b/tests/typing/lists.ml
index a61f464..6501c60 100644
--- a/tests/typing/lists.ml
+++ b/tests/typing/lists.ml
@@ -9,6 +9,7 @@ i : int -> int -> int -> int
j : int -> int -> int -> int list
l1 : int list
l2 : int list
+l3 : (int * int) list
*)
let a = 42
let b = a + 42
@@ -18,3 +19,4 @@ let i x y z = x + y + z + 42
let j x y z = (x + y)::[z + 42]
let l1 = a::b::(f a)::(g b)::[]
let l2 = [a ; b ; (f a) ; (g b) ; (i a b (f a))]
+let l3 = [(a, b) ; ((f a), (g b)) ; ((i a b (f a)), a)]