Ur/Web: tests/open.ur annotate

Instantiate any Unit unification variables that remain after elaboration

author	Adam Chlipala <adam@chlipala.net>
date	Thu, 02 Dec 2010 14:11:18 -0500
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

Mercurial > urweb