Re: help understanding a ghc assert failure wrt coercions

On Jan 6, 2020, at 4:44 AM, Ben Gamari 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@haskell.org mailto:ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs