Mercurial > urweb
annotate tests/modproj.ur @ 1429:eecbffc2b907
Fix C jsify[String|Char]
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 25 Feb 2011 15:58:08 -0500 |
parents | 71bafe66dbe1 |
children |
rev | line source |
---|---|
adamc@35 | 1 signature S1 = sig |
adamc@34 | 2 type t |
adamc@34 | 3 val zero : t |
adamc@34 | 4 end |
adamc@35 | 5 signature S2 = sig |
adamc@35 | 6 type t = int |
adamc@35 | 7 val zero : t |
adamc@35 | 8 end |
adamc@35 | 9 structure S = struct |
adamc@34 | 10 type t = int |
adamc@34 | 11 val zero = 0 |
adamc@34 | 12 end |
adamc@35 | 13 structure S1 : S1 = S |
adamc@35 | 14 structure S2 : S2 = S |
adamc@34 | 15 |
adamc@35 | 16 type t = S1.t |
adamc@35 | 17 val zero : t = S1.zero |
adamc@35 | 18 |
adamc@35 | 19 type t = S2.t |
adamc@35 | 20 val zero : int = S2.zero |
adamc@35 | 21 |
adamc@35 | 22 structure T = S1 |
adamc@39 | 23 val main : S1.t = T.zero |