Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature SIG = |
2 | sig | |
3 | type t | |
4 | end | |
5 | ||
6 | functor F (structure S1: SIG | |
7 | structure S2: SIG | |
8 | sharing S1 = S2) = | |
9 | struct | |
10 | end | |
11 | ||
12 | structure S1: SIG = struct type t = int end | |
13 | structure S2: SIG = struct type t = real end | |
14 | structure Z = F (structure S1 = S1 | |
15 | structure S2 = S2) |