Re: InstanceSigs -- rationale for the "must be more polymorphic than"
Anthony Clayden <[email protected]> Sat, 18 Sep 2021 14:29:53 +1200
| Newsgroups | gmane.comp.lang.haskell.glasgow.user |
|---|---|
| Message-ID | <CABU_mxhaZQrDa4vsgLE5yKtjzYUa2UpzE=uX+r-zpG=Cm0D6Ug@mail.gmail.com> |
> If you would like to offer a patch for the user manual to explain this better, that would be great. Thank you Simon for the invitation. On further investigation https://gitlab.haskell.org/ghc/ghc/-/issues/20357, what I'd like the user manual to say is: "InstanceSigs is a mis-feature. Don't use it. It is less confusing to just give no signature at all. If you really, really want to bind tyvars, use PatternSignatures." _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users