blob: bb09823bd9c698275bb6c4402abc223d6b01729c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(* TEST
* toplevel
*)
module L = struct
type ('a,'b) t = [] | (::) of 'a * ('b,'a) t
end;;
L.[([1;2]:int list);"2";[3;4];"4";[5]];;
open L;;
[1;"2";3;"4";5];;
module L = struct
type 'a t = 'a list = [] | (::) of 'a * 'a t
end;;
L.[[1];[2];[3];[4];[5]];;
open L;;
[1;2;3;4;5];;
|