help understanding a ghc assert failure wrt coercions

[Richard Eisenberg]

> On Jan 6, 2020, at 4:44 AM, Ben Gamari <ben at smart-cactus.org> wrote:
> Try adding -dppr-debug to your command line. This may reveal the difference. 

Also, I recommend `-fprint-explicit-kinds -fprint-explicit-coercions -fprint-typechecker-elaboration -fprint-explicit-runtime-reps -fprint-explicit-foralls` just for extra confidence.

Richard

> 
> Cheers, 
> 
> - Ben 
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org <mailto:ghc-devs at haskell.org>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs <http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200106/0a6d3cf8/attachment.html>