Mercurial > urweb

annotate tests/open.ur @ 2257:28a541bd2d23

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Use referenced (rather than all) free variables as keys for pure caches.
author Ziv Scully <ziv@mit.edu>
date Sun, 27 Sep 2015 14:46:12 -0400
parents 71bafe66dbe1
children
rev   line source
adamc@61 1 structure S = struct
adamc@61 2 type t = int
adamc@61 3 val x = 0
adamc@61 4
adamc@61 5 structure S' : sig type u val y : t end = struct
adamc@61 6 type u = t
adamc@61 7 val y = x
adamc@61 8 end
adamc@61 9
adamc@61 10 signature Sig = sig
adamc@61 11 type t
adamc@61 12 val x : t
adamc@61 13 end
adamc@61 14 end
adamc@61 15
adamc@61 16 open S.S'
adamc@61 17 open S
adamc@61 18 open S'
adamc@61 19
adamc@61 20 structure S' : Sig = S