On Thu, Nov 17, 2005 at 12:32:37PM -0000, Simon Peyton-Jones wrote: > Yes it's deliberate. (Turned out to be easy and convenient.) Yes it > goes beyond H98, so GHC types a few too many programs even in H98 mode. > I guess I should document it.
I think the H98 rule is arbitrarily restrictive. But what about going further and considering the occurrences of type constructors in instance declarations, type signature declarations and expression type signatures? _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users