Mon Aug 27 11:09:49 PDT 2007  Pepe Iborra <[EMAIL PROTECTED]>
  * :stepover ---> :steplocal, :stepmodule
  
   :stepover is declared a failed experiment. 
  :steplocal steps only on ticks contained in the current
  top level declaration. 
  :stepmodule steps only on ticks contained on the current
   module. 
  The current top level declaration and module are with
   respect to the breakpoint we are stopped on.
  
   The main reason for the failure of :stepover
  (apart from lacking a lexical call stack of course)
  is that it fails to detect when the expression being 
  evaluated is "complete", i.e. there are no ticks left in it.
  My assumption of the rightmost tick as the "last one",
  signaling that the expression is completely evaluated,
  is not true at all under laziness. 
  This assumption was key in the implementation of :stepover.
   

    M ./compiler/ghci/InteractiveUI.hs -33 +23
    M ./docs/users_guide/ghci.xml -2 +4

_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to