Types differ, but they look the same

Joachim Breitner <[email protected]> Fri, 08 Apr 2022 16:58:50 +0200

Newsgroups	gmane.comp.lang.haskell.glasgow.user
Message-ID	<8811d8e704a6c539287314621438a3c62126fffb.camel@joachim-breitner.de>

Hi,

sorry for not providing a mwe, but while I dig deeper, maybe someone
has a “this is typically a problem with X” idea…

This is in the context of a Core plugin (Conal’s Compiling to
Categories), and I observe an oddity: I have two 'Types' that _should_
be equal, that ppr’int equal, but where eqType says False.

The type looks like this:

(SymRAD1
     windowFunctor_a3e0Q
     kernelFunctor_a3e0R
     channelsFunctor_a3e0S
     numType_a3e0T,
   SymRAD2
     paddedWindowFunctor_a3e0P
     windowFunctor_a3e0Q
     kernelFunctor_a3e0R
     channelsFunctor_a3e0S
     numType_a3e0T)

what might make eqType go False that is _not_ visible in the pretty-
printed view?

Cheers,
Joachim

-- 
Joachim Breitner
  [email protected]
  http://www.joachim-breitner.de/

_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users