Mercurial > urweb

annotate tests/mproj.ur @ 935:2422360c78a3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Dropped in initial aggregate types
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 09:40:51 -0400
parents e571fb150a9f
children
rev   line source
adamc@849 1 structure M : sig
adamc@849 2 type t
adamc@849 3 val x : t
adamc@849 4
adamc@849 5 structure S : sig
adamc@849 6 type u = t
adamc@849 7
adamc@849 8 val eq : eq u
adamc@849 9 end
adamc@849 10 end = struct
adamc@849 11 type t = int
adamc@849 12 val x = 0
adamc@849 13
adamc@849 14 structure S = struct
adamc@849 15 type u = t
adamc@849 16
adamc@849 17 val eq = _
adamc@849 18 end
adamc@849 19 end
adamc@849 20
adamc@849 21 val y = M.x = M.x