Mercurial > urweb
comparison tests/functor.lac @ 46:44a1bc863f0f
Corifying functors
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 19 Jun 2008 17:55:36 -0400 |
parents | a9f3ce2d1b9b |
children | ac4c0b4111ba |
comparison
equal
deleted
inserted
replaced
45:3c1ce1b4eb3d | 46:44a1bc863f0f |
---|---|
11 | 11 |
12 functor F (M : S) : T where type t = M.t = struct | 12 functor F (M : S) : T where type t = M.t = struct |
13 type t = M.t | 13 type t = M.t |
14 val three = M.s (M.s (M.s M.z)) | 14 val three = M.s (M.s (M.s M.z)) |
15 end | 15 end |
16 | |
17 structure F2 : functor (M : S) : T where type t = M.t = F | |
18 structure F3 : functor (M : S) : T = F | |
19 (*structure F4 : functor (M : S) : sig type q end = F*) | |
20 (*structure F5 : functor (M : S) : T where type t = int = F*) | |
21 | 16 |
22 | 17 |
23 structure O = F (struct | 18 structure O = F (struct |
24 type t = int | 19 type t = int |
25 val z = 0 | 20 val z = 0 |