Thanks, Sebastian! - Conal On Mon, Sep 16, 2019 at 1:30 AM Sebastian Graf <[email protected]> wrote:
> Hi Conal, > > I've had success with `FamInstEnv.topNormaliseType` in the past. `eqType` > doesn't take `FamInstEnvs`, so I'm pretty sure it can't look through family > instances by itself. > > Cheers, > Sebastian > > Am Mo., 16. Sept. 2019 um 02:38 Uhr schrieb Conal Elliott <[email protected] > >: > >> It looks to me like `eqType` accounts for type synonyms but not >> associated types. Is there a variant that compares modulo associated types, >> or perhaps a type normalizing operation to apply before `eqType`? >> >> Thanks, - Conal >> _______________________________________________ >> ghc-devs mailing list >> [email protected] >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >> >
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
