Commit c1604af2 authored by Jeff Smits's avatar Jeff Smits

Made example input program clearer when run

parent afa1cfab
......@@ -5,4 +5,4 @@ strategies
// f always fails, but it binds b before that. In a guarded choice, the binding to b needs to be undone. But if you
// compile this program with -O 0 (no optimisations), f stays a separate strategy and becomes a closure inside the
// execution environment. Interaction between closures and backtracking can be trick, hence this "test".
main = {b: let f = ?b; fail in f <+ !b end }
main = where(<debug> "Expected behaviour: failure"); {b: let f = ?b; fail in f <+ !b end }
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment