ADT arguments and Levity Polymorphism
csaba.hruska at gmail.com
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.)*
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs