comparison tests/open_functor.lac @ 146:80ac94b54e41
Fix opening and corifying of functors
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Tue, 22 Jul 2008 18:20:13 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 signature S = sig |
| |
2 type t |
| |
3 val x : t |
| |
4 end |
| |
5 |
| |
6 functor F (M : S) : S where type t = M.t = struct |
| |
7 type t = M.t |
| |
8 val x = M.x |
| |
9 end |
| |
10 |
| |
11 structure M = F(struct |
| |
12 type t = int |
| |
13 val x = 0 |
| |
14 end) |
| |
15 |
| |
16 open M |
