Mercurial > urweb

annotate tests/modnested.lac @ 36:ca58de3cb72b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nested selfification test
author Adam Chlipala <adamc@hcoop.net>
date Tue, 17 Jun 2008 17:11:32 -0400
parents
children 367f058aba23
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@36 8 end
adamc@36 9 end
adamc@36 10
adamc@36 11 structure S = struct
adamc@36 12 type t = int
adamc@36 13 val x = 0
adamc@36 14
adamc@36 15 structure Q = struct
adamc@36 16 type q = float
adamc@36 17 val y = 0.0
adamc@36 18 end
adamc@36 19 end
adamc@36 20
adamc@36 21 structure S1 = S
adamc@36 22 structure S2 : S = S
adamc@36 23 structure S3 = S2