1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
(* Exporting datatype constructors from structures. *)
structure T1 =
struct
datatype f = A | B
end;
open T1;
structure T2: sig datatype f = A | B end =
struct
datatype f = A | B
end;
open T2;
(* Explicit signatures cannot rebind constructors but that doesn't
apply to the result if there's no signature. *)
structure T3 =
struct
datatype f = A of bool | B
datatype g = A of int
end;
open T3;
A 1;
datatype t = datatype f;
A true;
functor F1() =
struct
datatype f = A of bool | B
datatype g = A of int
end;
structure T4 = F1();
open T4;
A 1;
datatype t = datatype f;
A true;
|
