diff options
author | 2008-06-12 17:41:32 -0400 | |
---|---|---|
committer | 2008-06-12 17:41:32 -0400 | |
commit | 4bb0bbc1920b5474619cb00e278590e029cdb12a (patch) | |
tree | 0a6e5046476ae987bd823b4c03e666495559fbbf /tests/modules.lac | |
parent | ed9e3cb10161dde86a87894155f2f74c60d28c4a (diff) |
Matching structures in signatures
Diffstat (limited to 'tests/modules.lac')
-rw-r--r-- | tests/modules.lac | 16 |
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 |