Alignment of doubles in ghc

[Jerzy Karczmarczuk]

Simon Marlow wrote:

> We've already made the switch to eval/apply for the next release of GHC.
> However, deferring the entirety of stack management to an underlying
> compiler is not that easy: we do accurate garbage collection, so we need
> to retain enough information about the compiler's idea of stack layout
> in order to be able to find all the pointers during GC.  We therefore
> can't compile via C using an ordinary C compiler and leave the stack
> management up to the C compiler.  

Is there anything published/unofficially available about it?

I have pure academic interest in all that. I must say that rarely had I
the occasion to learn something more crunchy about the implementation
of Haskell and FP than from the description of concrete solutions, such
as STG (and the implementation of Clean, and Appel's paper on the imple-
mentation of ML).

Now, my white/bald hair tell me that the eval/apply model is something
quite oriented towards strict evaluation paradigms, and I would enjoy very
much a thorough discussion of the implementation of laziness.


Jerzy Karczmarczuk