ADT arguments and Levity Polymorphism
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:
> Are heap stored ADT's arguments always levity (representation) monomorphic?
> (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.)
Happy to expand, but it seems you have the number on this one.
> Csaba Hruska
> ghc-devs mailing list
> ghc-devs at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs