Andy Gill
Andy Gill
I missed this reply. I'll have a look at it.
There are actually two candidate problems, unlifted _and_ unboxed types. https://ghc.haskell.org/trac/ghc/wiki/Commentary/Rts/Storage/HeapObjects
Both are in Core, for example unlifted tuples vs unboxed Int#s. I'm not sure if it matters, but it was an ah-ha moment when the GHC separated unlifting from unboxing....
Found it. https://ghc.haskell.org/trac/ghc/wiki/IntermediateTypes Quoted from link: GHC has a relatively complicated kind structure... There's a little subtyping at the kind level. Here is the picture for type-kinds (kinds of sort...
Ahh - good. You seem to have a better handle on this that I have. So the problem is just the two-kind problem.