summaryrefslogtreecommitdiff
path: root/tests/modproj.lac
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-17 16:38:54 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-17 16:38:54 -0400
commitb9406323848c150f5a8562ad206916c446529d65 (patch)
tree5464b011b61ca366be29dabd74275245b60659b9 /tests/modproj.lac
parent4bb0bbc1920b5474619cb00e278590e029cdb12a (diff)
Elaborating module projection
Diffstat (limited to 'tests/modproj.lac')
-rw-r--r--tests/modproj.lac11
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/modproj.lac b/tests/modproj.lac
new file mode 100644
index 00000000..ef2364d1
--- /dev/null
+++ b/tests/modproj.lac
@@ -0,0 +1,11 @@
+signature S = sig
+ type t
+ val zero : t
+end
+structure S : S = struct
+ type t = int
+ val zero = 0
+end
+
+type t = S.t
+val zero : t = S.zero