annotate tests/mproj.ur @ 1668:64c1e65c2365

Prevent horrifying loops in unification variable graph
author Adam Chlipala <adam@chlipala.net>
date Mon, 09 Jan 2012 16:20:10 -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