Mercurial > urweb

annotate tests/mproj.ur @ 1944:68c8ffc4ae69

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make HTTP keepalive switch between available connections to improve throughput
author Adam Chlipala <adam@chlipala.net>
date Sat, 28 Dec 2013 06:27:08 -0500
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