Mercurial > urweb
annotate tests/modnested.ur @ 1587:257421857680
Fix SQL grammar bug in manual
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 05 Nov 2011 09:40:38 -0400 |
parents | 71bafe66dbe1 |
children |
rev | line source |
---|---|
adamc@36 | 1 signature S = sig |
adamc@36 | 2 type t |
adamc@36 | 3 val x : t |
adamc@36 | 4 |
adamc@36 | 5 structure Q : sig |
adamc@36 | 6 type q |
adamc@36 | 7 val y : q |
adamc@37 | 8 |
adamc@37 | 9 structure V : sig |
adamc@37 | 10 type v |
adamc@37 | 11 end |
adamc@36 | 12 end |
adamc@36 | 13 end |
adamc@36 | 14 |
adamc@36 | 15 structure S = struct |
adamc@36 | 16 type t = int |
adamc@36 | 17 val x = 0 |
adamc@36 | 18 |
adamc@36 | 19 structure Q = struct |
adamc@36 | 20 type q = float |
adamc@36 | 21 val y = 0.0 |
adamc@37 | 22 |
adamc@37 | 23 structure V = struct |
adamc@37 | 24 type v = string |
adamc@37 | 25 val hi = "Hi" |
adamc@37 | 26 end |
adamc@36 | 27 end |
adamc@36 | 28 end |
adamc@36 | 29 |
adamc@36 | 30 structure S1 = S |
adamc@36 | 31 structure S2 : S = S |
adamc@36 | 32 structure S3 = S2 |
adamc@39 | 33 |
adamc@39 | 34 val main = S3.Q.y |