annotate tests/wildify.ur @ 1946:f1485ed65d6c

Avoid some spurious error messages about link/form incompatibility; change the text of that error message to include RPC handlers
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 Dec 2013 10:29:26 -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