--- a/tests/functor.lac	Thu Jun 19 16:04:28 2008 -0400
+++ b/tests/functor.lac	Thu Jun 19 16:35:40 2008 -0400
@@ -9,11 +9,7 @@
         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