annotate tests/wildify.ur @ 1838:6ec243437d12

Autogenerate some files
author Adam Chlipala <adam@chlipala.net>
date Wed, 12 Dec 2012 16:42:15 -0500
parents 79b2bcac6200
children
rev   line source
adamc@1264 1 signature S = sig
adamc@1264 2 type t
adamc@1264 3 val x : t
adamc@1264 4 end
adamc@1264 5
adamc@1264 6 signature T = sig
adamc@1264 7 structure M : S
adamc@1264 8
adamc@1264 9 type u
adamc@1264 10 val y : u
adamc@1264 11
adamc@1264 12 structure N : S
adamc@1264 13 end
adamc@1264 14
adamc@1264 15 structure M : T = struct
adamc@1264 16 structure M = struct
adamc@1264 17 val x = True
adamc@1264 18 end
adamc@1264 19
adamc@1264 20 val y = 0
adamc@1264 21
adamc@1264 22 structure N = struct
adamc@1264 23 val x = "hi"
adamc@1264 24 end
adamc@1264 25 end