From 2355b20a32d8ed4924cee84a44831061b2b49b49 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 12 Jun 2008 17:16:20 -0400 Subject: Simple signature matching --- tests/modules.lac | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 tests/modules.lac (limited to 'tests') diff --git a/tests/modules.lac b/tests/modules.lac new file mode 100644 index 00000000..9d5fbc90 --- /dev/null +++ b/tests/modules.lac @@ -0,0 +1,28 @@ +signature A = sig end +structure A = struct end +structure Ao : A = A + + +structure B = struct + type t = int +end +structure Bo0 : sig end = B +structure BoA : A = B + +signature B1 = sig + type t +end +structure Bo1 : B1 = B +(*structure AoB1 : B1 = A*) + +signature B2 = sig + type t = int +end +structure Bo2 : B2 = B + + +structure C = struct + type t = float +end +structure CoB1 : B1 = C +(*structure CoB2 : B2 = C*) -- cgit v1.2.3