Mercurial > urweb

annotate tests/modules.lac @ 31:1c91c5e6840f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple signature matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:16:20 -0400
parents
children 0ff8c2728634
rev   line source
adamc@31 1 signature A = sig end
adamc@31 2 structure A = struct end
adamc@31 3 structure Ao : A = A
adamc@31 4
adamc@31 5
adamc@31 6 structure B = struct
adamc@31 7 type t = int
adamc@31 8 end
adamc@31 9 structure Bo0 : sig end = B
adamc@31 10 structure BoA : A = B
adamc@31 11
adamc@31 12 signature B1 = sig
adamc@31 13 type t
adamc@31 14 end
adamc@31 15 structure Bo1 : B1 = B
adamc@31 16 (*structure AoB1 : B1 = A*)
adamc@31 17
adamc@31 18 signature B2 = sig
adamc@31 19 type t = int
adamc@31 20 end
adamc@31 21 structure Bo2 : B2 = B
adamc@31 22
adamc@31 23
adamc@31 24 structure C = struct
adamc@31 25 type t = float
adamc@31 26 end
adamc@31 27 structure CoB1 : B1 = C
adamc@31 28 (*structure CoB2 : B2 = C*)