help understanding a ghc assert failure wrt coercions
Richard Eisenberg
rae at richarde.dev
Mon Jan 6 11:19:59 UTC 2020
> 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>
More information about the ghc-devs
mailing list