Changes between Version 27 and Version 28 of GhciDebugger


Ignore:
Timestamp:
Apr 26, 2007 8:30:09 AM (8 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