ADT arguments and Levity Polymorphism

[Csaba Hruska]

Great, thanks!

On Mon, Feb 10, 2020 at 10:30 PM Richard Eisenberg <rae at richarde.dev> wrote:

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