Mercurial > urweb

annotate tests/wildify.ur @ 1302:d008c4c43a0a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Flex kinds for type-level tuples; ::_ notation
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 13:07:38 -0400
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