[Haskell-cafe] Capitalization and associated type families
ryani.spam at gmail.com
Tue Aug 5 15:54:07 EDT 2008
On Tue, Aug 5, 2008 at 12:22 PM, Brian Hulley <brianh at metamilk.com> 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.
More information about the Haskell-Cafe