aboutsummaryrefslogtreecommitdiffhomepage
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, 1 insertions, 5 deletions
diff --git a/tests/functor.lac b/tests/functor.lac
index 1eef5383..7d2983e0 100644
--- a/tests/functor.lac
+++ b/tests/functor.lac
@@ -9,11 +9,7 @@ signature T = sig
val three : t
end
-signature F = functor (M : S) : T
-
-structure F = functor (M : S) : T => struct
+functor F (M : S) : T where type t = M.t = struct
type t = M.t
val three = M.s (M.s (M.s M.z))
end
-
-structure F2 : F = F