summaryrefslogtreecommitdiff
path: root/testsuite/tests/tool-toplevel/exotic_lists.ml
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];;