Ur/Web: tests/strdupe.lac annotate

Parsing and elaborating 'table'

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 14 Aug 2008 13:20:29 -0400
parents	d609820c5834
children

rev	line source
adamc@63	1 val x = 0
adamc@64	2 val x = x
adamc@63	3
adamc@63	4 type t = int
adamc@64	5 type t = { A : t }
adamc@63	6
adamc@63	7 signature S = sig end
adamc@64	8 signature S = sig type t structure M : S end
adamc@63	9
adamc@63	10 structure S = struct end
adamc@64	11 structure S : S = struct type t = int structure M = S end

Mercurial > urweb