Ur/Web: tests/open.lac annotate

Datatype import signature-matches abstract datatype

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 24 Jul 2008 16:48:47 -0400
parents	48b6d2c3df46
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