annotate tests/mproj.ur @ 1628:3621f486ce72

Don't crash on invalid URL head terms during Tag
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Dec 2011 17:25:51 -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