annotate tests/modnested.ur @ 1058:86b831978b8d

Recursive hnormSgn for projections of signatures from modules
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Dec 2009 14:34:44 -0500
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