Changes between Version 31 and Version 32 of NewGhciDebugger


Ignore:
Timestamp:
Apr 8, 2007 6:47:54 PM (8 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