Excerpts from Simon Marlow's message of Wed Apr 20 05:28:43 -0400 2011: > On 19/04/2011 22:58, Edward Z. Yang wrote: > > A sanity check on this patch would be nice. Note that I need to > > update the lint check with this change. > > Don't you mean "Sp is always *greater* than SpLim"?
Uhh, yes. > I wonder whether this would be better done at a higher level, i.e. don't > generate a stack check at all if we don't need to allocate any stack. Unfortunately, when we emit this code we don't know what the layout of the stack. One alternative solution is to not emit the stack check until when we manifest the stack; but I always figured there was a good reason why we had to do it early. Edward _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
