Dear Predro, Am Sonntag, den 08.09.2013, 18:27 -0500 schrieb Austin Seipp: > I know Pedro committed the work to make manual > Typeable instances an error, which is great.
the Coercible class has a similar property, and I added the check to prevent manual instances to checkValidInstance in TcValidity: https://github.com/nomeata/ghc/commit/5e3f13 while you did it in tcInstDecls1 in TcInstDecls: http://git.haskell.org/?p=ghc.git;a=commitdiff;h=5335e56953c4bbe18166039c06256e725f074b64 I’m happy to follow suite if you tell me that TcInstDecls is indeed the better spot for such a check. Greetings, Joachim -- Joachim “nomeata” Breitner [email protected] • http://www.joachim-breitner.de/ Jabber: [email protected] • GPG-Key: 0x4743206C Debian Developer: [email protected]
signature.asc
Description: This is a digitally signed message part
_______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
