On Tue, Aug 5, 2008 at 12:22 PM, Brian Hulley <[EMAIL PROTECTED]> wrote: > unfortunately there is no corresponding protection when writing types inside > class decls: > > class Zap aaaaa where > g :: aaaaa -> aaaa > ^ oops!
Well, I think there's a pretty good protection; instances usually won't typecheck until it's fixed. -- ryan _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
