Alternative to isTypeLevPoly

Sam Derbyshire sam.derbyshire at gmail.com
Wed Sep 14 16:19:35 UTC 2022


Hi Csaba,

I think you want the function typeHasFixedRuntimeRep from GHC.Core.Type.

Best,

Sam

On Wed, 14 Sept 2022 at 18:12, Csaba Hruska <csaba.hruska at gmail.com> wrote:

> Hello GHC Devs,
>
> I've noticed that the `isTypeLevPoly` function has been removed from GHC
> since 9.4.
> I used it to decide the validity of querying the representation type of
> every value in the STG IR.
> It was mandatory to prevent GHC panics, because there are a lot of partial
> functions in GHC.
> Is there an alternative to `isTypeLevPoly` in GHC 9.4?
>
> Best regards,
> Csaba Hruska
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> 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/20220914/cfb8732e/attachment.html>


More information about the ghc-devs mailing list