Re: ADT arguments and Levity Polymorphism

Great, thanks! On Mon, Feb 10, 2020 at 10:30 PM Richard Eisenberg wrote:

On Feb 10, 2020, at 8:48 PM, Csaba Hruska 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs