[m-dev.] proposed command set for the internal trace based debugger

[Mireille Ducasse]

>> One other command that would be useful (if it's implementable) would
>> be to replace the goal at the current port with one the user types in.
>> The user's goal would be able to include the variables appearing in
>> the goal at the current port.  This would be useful when you've found
>> a bug, and you'd like to keep going and find the next, so you just
>> want to supply the correct result for a goal and keep going.

I do not like thi too much as in the end the program that you are
tracing is not at all the program source that you have in the file.

Now we could may be build a command in Opium in top of this one that
would update the source code ??