Mercurial > urweb
annotate tests/wildify.ur @ 2224:5709482a2afd
Merge.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Thu, 11 Dec 2014 02:05:41 -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 |