Re: Alternative to isTypeLevPoly

I've investigated a bit more. You are right `typeHasFixedRuntimeRep` works fine, the panic was caused by querying the representation type of `LitRubbish` type argument. In some cases `getRuntimeRep` causes GHC panic for `LitRubbish` type arguments. I did solve the issue with special casing the LitR

Haskell program coverage

Matthias, David, David Binder apparently has some PRs for GHC's HPC program coverage stuff that have somehow languished un-merged for some time. David, can you point us to them, so we can look? Matthias wants to exte

Re: Alternative to isTypeLevPoly

The type argument to LitRubbish should be a fixed RuntimeRep. If it is not, you can file a bug. I have fixed a related bug in f435d55fe969e7. Krzysztof On Thu, Sep 15, 2022 at 1:12 PM Csaba Hruska wrote: > > I've investigated a bit more. You are right `typeHasFixedRuntimeRep` works > fine, the

Re: Alternative to isTypeLevPoly

> > The type argument to LitRubbish should be a fixed RuntimeRep. If it is > not, you can file a bug > Yes! Please file a bug if you find this. On Thu, 15 Sept 2022 at 16:36, Krzysztof Gogolewski < krz.gogolew...@gmail.com> wrote: > The type argument to LitRubbish should be a fixed RuntimeRep.