Changes between Version 31 and Version 32 of NewGhciDebugger


Ignore:
Timestamp:
Apr 8, 2007 6:47:54 PM (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewGhciDebugger

    v31 v32  
    141141Here we discover that the value of `xs` is a list with `True` as its head and a thunk as its tail. The thunk is bound to the fresh variable `_t2`, which can be manipulated at the command line as usual. 
    142142 
     143Another way to force further evaluation of a thunk is to use it inside another expression. For instance, we could examine the spine of the list `xs` by computing its length: 
     144{{{ 
     145   *Main> length xs 
     146   3 
     147   *Main> :print xs 
     148   xs = [True,(_t3::Bool),(_t4::Bool)] 
     149}}} 
     150 
    143151=== Single stepping === 
    144152