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