ADT arguments and Levity Polymorphism

Csaba Hruska csaba.hruska at
Mon Feb 10 20:48:19 UTC 2020


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.)*

Csaba Hruska
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list