<div dir="auto"><span style="font-size:12.8px">Hi,</span><div dir="auto" style="font-size:12.8px">Thanks for the tip, I've tried it and it behaves differently than isTypeLevPoly. I can get panic when querying the reptype for fixed reptypes. That means isTypeLevPoly semantically is not the same as the negated result of <span style="font-family:monospace">typeHasFixedRuntimeRep.</span></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 14 Sep 2022, 18:19 Sam Derbyshire, <<a href="mailto:sam.derbyshire@gmail.com">sam.derbyshire@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Hi Csaba,</div><div><br></div><div>I think you want the function <span style="font-family:monospace">typeHasFixedRuntimeRep</span> from <span style="font-family:monospace">GHC.Core.Type</span>.</div><div><br></div><div>Best,</div><div><br></div><div>Sam<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 14 Sept 2022 at 18:12, Csaba Hruska <<a href="mailto:csaba.hruska@gmail.com" target="_blank" rel="noreferrer">csaba.hruska@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>Hello GHC Devs,</div><div><br></div><div>I've noticed that the `isTypeLevPoly` function has been removed from GHC since 9.4.</div><div>I used it to decide the validity of querying the representation type of every value in the STG IR.</div><div>It was mandatory to prevent GHC panics, because there are a lot of partial functions in GHC.</div><div>Is there an alternative to `isTypeLevPoly` in GHC 9.4?</div><div><br></div><div>Best regards,</div><div>Csaba Hruska<br></div></div>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank" rel="noreferrer">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>
</blockquote></div>