trace() swallows failure
In the io module,
Should:
trace(msg,s) = debug(msg); (s; debug(!"succeeded: ") <+ debug(!"failed: "))
be:
trace(msg,s) = debug(msg); (s; debug(!"succeeded: ") <+ (debug(!"failed: ")); fail)
?
Submitted by Dobes Vandermeer on 31 October 2012 at 08:52
Issue Log
On 8 January 2013 at 13:54 Eelco Visser tagged stratego
On 8 January 2013 at 13:54 Eelco Visser tagged error
On 8 January 2013 at 13:55 Eelco Visser commented:
That looks like a bug indeed.
On 8 January 2013 at 13:55 Eelco Visser removed tag question
On 8 January 2013 at 13:55 Eelco Visser tagged error
On 8 January 2013 at 13:55 Eelco Visser tagged minor
Log in to post comments