Changes between Version 29 and Version 30 of NewGhciDebugger


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

--

Legend:

Unmodified
Added
Removed
Modified
  • NewGhciDebugger

    v29 v30  
    125125   xs = (_t1::[Bool]) 
    126126}}}  
    127 The debugger uses fresh variable names (starting with underscores) to display unevaluated expressions (often called ''thunks''). Here `_t1` is a thunk, denoting a list of booleans. A side effect of the `:print` command is that these fresh variables are made available to the command line. In our example, we can now use `_t1` in future commands.  
     127The debugger uses fresh variable names (starting with underscores) to display unevaluated expressions (often called ''thunks''). Here `_t1` is a thunk. A side effect of the `:print` command is that these fresh variables are made available to the command line. In our example, we can now use `_t1` in future commands.  
    128128 
    129129Sometimes we want to evaluate thunks a little bit further. This is easy to do because they are bound to variable names. For example, we can evaluate the outermost data constructor of `_t1` using `seq` like so: