summaryrefslogtreecommitdiff
path: root/tests/functor.lac
diff options
context:
space:
mode:
Diffstat (limited to 'tests/functor.lac')
-rw-r--r--tests/functor.lac6
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/functor.lac b/tests/functor.lac
index ef81300d..1eef5383 100644
--- a/tests/functor.lac
+++ b/tests/functor.lac
@@ -9,7 +9,11 @@ signature T = sig
val three : t
end
+signature F = functor (M : S) : T
+
structure F = functor (M : S) : T => struct
- val t = M.t
+ type t = M.t
val three = M.s (M.s (M.s M.z))
end
+
+structure F2 : F = F