Changes between Version 100 and Version 101 of NewGhciDebugger


Ignore:
Timestamp:
May 22, 2007 2:34:58 PM (8 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewGhciDebugger

    v100 v101  
    4242== Todo ==
    4343
    44  * P1 we shouldn't break multiple times for an exceptions, see break011 (at the end)
    45 
    46  * P1 can't do bold on Windows
    47 
    48  * P1 It's a bit strange that in "f = e" you don't get a breakpoint covering the whole binding, but in "f x = e" you do.  :break f doesn't work if f is not a function, for example.
    49 
    50  * P2 :force should catch exceptions, so [1,2,undefined]  would display as `[1,2,< exception >]`
    51 
    52  * P2 sometimes the result types are wrong (see result001 test)
    53 
    54  * P2 when showing a SrcSpan, we could say which top-level function contains it.  Ideally we should store the declPath that
    55    the coverage pass collects, but as a [OccName] rather than [String].
    56 
    57  * P2 perhaps we should have a :watch command, that could be used to save variables for future inspection (they wouldn't get
     44* Autocompletion for :break only provides names, not modules
     45
     46 * :break <qualified name> only works if the name is exported can/should we relax this?
     47
     48 * :force should catch exceptions, so [1,2,undefined]  would display as `[1,2,< exception >]`
     49
     50 * sometimes the result types are wrong (see result001 test)
     51
     52 * when showing a SrcSpan, we could say which top-level function contains it.  Ideally we should store the declPath that
     53   the coverage pass collects, but as a [OccName] rather than [String].  :history, :show context etc. should show the
     54   enclosing top-level function (or declpath).
     55
     56 * perhaps we should have a :watch command, that could be used to save variables for future inspection (they wouldn't get
    5857   thrown away by :continue)
    5958
    60  * P2 Extend the stack inspection primitive to allow unboxed things to be grabbed. (MODERATE)
    61 
    62  * P2 We can disable a breakpoint with ":set stop N :continue", but this still prints out the breakpoint info when we stop.
     59 * Extend the stack inspection primitive to allow unboxed things to be grabbed. (MODERATE)
     60
     61 * We can disable a breakpoint with ":set stop N :continue", but this still prints out the breakpoint info when we stop.
    6362   Should we print the info only if there were no commands?
    6463
    65  * P2 Revert to adding tick information to the BCO directly, and remove the byte code instructions for breaks. I'm not sure that this is worth it. In some ways the implementation based on a byte code instruction is a little cleaner than adding breaks on BCOs directly. Though the bc instruction method may be a little slower than the other way. (MODERATE/DIFFICULT)
    66 
    67  * P2 Flag to disable breakpoints?
    68 
    69  * P2 When we restore the interactive context on resume, we throw away any new bindings made since the breakpoint.  Can this
     64 * Revert to adding tick information to the BCO directly, and remove the byte code instructions for breaks. I'm not sure that this is worth it. In some ways the implementation based on a byte code instruction is a little cleaner than adding breaks on BCOs directly. Though the bc instruction method may be a little slower than the other way. (MODERATE/DIFFICULT)
     65
     66 * Flag to disable breakpoints?
     67
     68 * When we restore the interactive context on resume, we throw away any new bindings made since the breakpoint.  Can this
    7069   be fixed?
    7170
    72  * P2 threads and breakpoints.
    73 
    74  * P2 if a :force results in a breakpoint, we should treat it as we do other evaluations. (currently we get
     71 * threads and breakpoints.
     72
     73 * if a :force results in a breakpoint, we should treat it as we do other evaluations. (currently we get
    7574   "*** Ignoring breakpoint").
    7675 
    77  * P2 show variables with unboxed types.
    78 
    79  * P3 tabs go wrong with :list (but only for .lhs files, because unlit does tab expansion... duh)
     76 * show variables with unboxed types.
     77
     78 * It's a bit strange that in "f = e" you don't get a breakpoint covering the whole binding, but in "f x = e" you do.
     79
     80 * tabs go wrong with :list (but only for .lhs files, because unlit does tab expansion... duh)
    8081
    8182----