summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-12 17:41:32 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-12 17:41:32 -0400
commit4bb0bbc1920b5474619cb00e278590e029cdb12a (patch)
tree0a6e5046476ae987bd823b4c03e666495559fbbf /tests
parented9e3cb10161dde86a87894155f2f74c60d28c4a (diff)
Matching structures in signatures
Diffstat (limited to 'tests')
-rw-r--r--tests/modules.lac16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/modules.lac b/tests/modules.lac
index 1bdc685c..5089f17b 100644
--- a/tests/modules.lac
+++ b/tests/modules.lac
@@ -57,3 +57,19 @@ structure Wobble2 = struct
type s = int
type t = float
end
+
+
+structure N = struct
+ type t = string
+ structure N2 = struct
+ type t = int
+ val zero = 0
+ end
+ val x = "Hi"
+end
+signature N = sig
+ structure N2 : NAT
+ type t
+ val x : t
+end
+structure No : N = N