annotate tests/wildify.ur @ 2181:e46989ea4ca7

Grandfathered into release: make urweb-mode keep working in Emacs 23
author Adam Chlipala <adam@chlipala.net>
date Sun, 18 Oct 2015 14:38:20 -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