summaryrefslogtreecommitdiff
path: root/tests/sig_wild.lac
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-29 10:44:36 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-29 10:44:36 -0400
commitb7f84c57522b12bdbd4a7056e5d4f58009a48c95 (patch)
treea3d83e0aa046063a617da41a5a747f444e2dca07 /tests/sig_wild.lac
parentd8ceac1d02caeffbe44865dfd2573863adc535ba (diff)
Another test of broad unification
Diffstat (limited to 'tests/sig_wild.lac')
-rw-r--r--tests/sig_wild.lac9
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/sig_wild.lac b/tests/sig_wild.lac
new file mode 100644
index 00000000..3f714772
--- /dev/null
+++ b/tests/sig_wild.lac
@@ -0,0 +1,9 @@
+signature S = sig
+ type t
+ val x : t
+end
+
+structure M : S = struct
+ type t = _
+ val x = 0
+end