annotate tests/wildify.ur @ 1369:1a78ca089bd0

Expose buffer type for other C libraries; replace minusSeconds with addSeconds
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 15:52:56 -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