ADT arguments and Levity Polymorphism

Richard Eisenberg rae at richarde.dev
Mon Feb 10 21:30:34 UTC 2020



> On Feb 10, 2020, at 8:48 PM, Csaba Hruska <csaba.hruska at gmail.com> wrote:
> 
> Hello,
> 
> Are heap stored ADT's arguments always levity (representation) monomorphic?

Yes.

> (I guess they are otherwise the info table would not be a constant value instead it would be a function that calculates the representation depending on some runtime value.)

Yes.

Happy to expand, but it seems you have the number on this one.

Richard

> 
> 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/20200210/e2c442cb/attachment.html>


More information about the ghc-devs mailing list