Changes between Version 45 and Version 46 of ExplicitCallStack

Timestamp:

01/30/07 08:53:11 (6 years ago)

Author:

guest

Comment:

--

ExplicitCallStack

@@ -123 +123 @@
 }}}
 
-The difference between these two stacks is how we determine ''when'' `hd` is called. Is it in the context where `hd` is first mentioned by name (in the body of `f`), or is it when `hd` becomes fully saturated (in the body of `d`). Both contexts seem reasonable. Does it really matter which one is chosen? At the moment I can't say for sure.
+The difference between these two stacks is how we determine ''when'' `hd` is called. Is it in the context where `hd` is first mentioned by name (in the body of `f`), or is it when `hd` becomes fully saturated (in the body of `d`)? Both contexts seem reasonable. Does it really matter which one is chosen? At the moment I can't say for sure.
 
 There are more possibilities, for instance, we treat CAFs as roots of the stack, thus dropping `main` and `d` from the first of the options above: