Removing `null data_cons`(compiler/typecheck/TcDeriv.lhs 1105) check for eq instance declarations fixes this, code generation part would be same(changes in TcGenDeriv.hs were wrong and TcGenDeriv needs to be unchanged)but I'm not sure how to remove that check only for eq instance(Show, Ord, etc. sould still fail with same error message and they're checked by same function, `cond_stdOK` -- line 1053).
--- Ömer Sinan Ağacan http://osa1.net _______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
