Mercurial > urweb
annotate tests/modules.lac @ 43:d94c484337d0
Subtyping for functor signatures
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 19 Jun 2008 16:43:24 -0400 |
| parents | 535c324f0b35 |
| children |
| rev | line source |
|---|---|
| adamc@31 | 1 signature A = sig end |
| adamc@31 | 2 structure A = struct end |
| adamc@31 | 3 structure Ao : A = A |
| adamc@31 | 4 |
| adamc@31 | 5 |
| adamc@31 | 6 structure B = struct |
| adamc@31 | 7 type t = int |
| adamc@31 | 8 end |
| adamc@31 | 9 structure Bo0 : sig end = B |
| adamc@31 | 10 structure BoA : A = B |
| adamc@31 | 11 |
| adamc@31 | 12 signature B1 = sig |
| adamc@31 | 13 type t |
| adamc@31 | 14 end |
| adamc@31 | 15 structure Bo1 : B1 = B |
| adamc@31 | 16 (*structure AoB1 : B1 = A*) |
| adamc@31 | 17 |
| adamc@31 | 18 signature B2 = sig |
| adamc@31 | 19 type t = int |
| adamc@31 | 20 end |
| adamc@31 | 21 structure Bo2 : B2 = B |
| adamc@31 | 22 |
| adamc@31 | 23 |
| adamc@31 | 24 structure C = struct |
| adamc@31 | 25 type t = float |
| adamc@31 | 26 end |
| adamc@31 | 27 structure CoB1 : B1 = C |
| adamc@31 | 28 (*structure CoB2 : B2 = C*) |
| adamc@32 | 29 |
| adamc@32 | 30 |
| adamc@32 | 31 signature NAT = sig |
| adamc@32 | 32 type t |
| adamc@32 | 33 val zero : t |
| adamc@32 | 34 end |
| adamc@32 | 35 structure Nat : NAT = struct |
| adamc@32 | 36 type t = int |
| adamc@32 | 37 val zero = 0 |
| adamc@32 | 38 end |
| adamc@32 | 39 (*structure NotNat : NAT = struct |
| adamc@32 | 40 type t = int |
| adamc@32 | 41 val zero = 0.0 |
| adamc@32 | 42 end*) |
| adamc@32 | 43 (*structure NotNat : NAT = struct |
| adamc@32 | 44 val zero = 0 |
| adamc@32 | 45 end*) |
| adamc@32 | 46 |
| adamc@32 | 47 |
| adamc@32 | 48 signature WOBBLE = sig |
| adamc@32 | 49 type t |
| adamc@32 | 50 type s |
| adamc@32 | 51 end |
| adamc@32 | 52 structure Wobble1 = struct |
| adamc@32 | 53 type t = int |
| adamc@32 | 54 type s = float |
| adamc@32 | 55 end |
| adamc@32 | 56 structure Wobble2 = struct |
| adamc@32 | 57 type s = int |
| adamc@32 | 58 type t = float |
| adamc@32 | 59 end |
| adamc@33 | 60 |
| adamc@33 | 61 |
| adamc@33 | 62 structure N = struct |
| adamc@33 | 63 type t = string |
| adamc@33 | 64 structure N2 = struct |
| adamc@33 | 65 type t = int |
| adamc@33 | 66 val zero = 0 |
| adamc@33 | 67 end |
| adamc@33 | 68 val x = "Hi" |
| adamc@33 | 69 end |
| adamc@33 | 70 signature N = sig |
| adamc@33 | 71 structure N2 : NAT |
| adamc@33 | 72 type t |
| adamc@33 | 73 val x : t |
| adamc@33 | 74 end |
| adamc@33 | 75 structure No : N = N |