Changes between Version 27 and Version 28 of GhciDebugger


Ignore:
Timestamp:
Apr 26, 2007 8:30:09 AM (7 years ago)
Author:
mnislaih
Comment:

minor

Legend:

Unmodified
Added
Removed
Modified
  • GhciDebugger

    v27 v28  
    110110}}} 
    111111 
    112 recovering the type of `x` (how? after forcing and using :print, see the next section)  
     112recovering the type of `x` (how? after forcing and using :print, see the next section example)  
    113113will cause the type of `f` to be updated in its first argument too. 
    114114