Mercurial > urweb

diff tests/modules.lac @ 33:535c324f0b35

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Matching structures in signatures
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:41:32 -0400
parents 0ff8c2728634
children
line wrap: on
line diff
--- a/tests/modules.lac	Thu Jun 12 17:35:51 2008 -0400
+++ b/tests/modules.lac	Thu Jun 12 17:41:32 2008 -0400
@@ -57,3 +57,19 @@
         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