Mercurial > urweb
annotate tests/wildify.ur @ 1459:156b8e8c25d8
Grandfather into release: Use latest Debian testing autotools, etc.
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 15 May 2011 17:20:08 -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 |