You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the Non-determinism example on the website, the backtrack handler code is written like this
let backtrack = handler
|effectDecidek ->
(* We use a second handler to handle the continuation. *)
handle continue k falsewith|effectFail_ -> continue k true
;;
However, it seems to me, that the paper defines it like follows
let backtrack = handler
|effectDecidek ->
(* We use a second handler to handle the continuation. *)
handle continue k truewith|effectFail_ -> continue k false
;;
Notice that the continuations are reversed
When I try loading the code in the REPL, the handler behaves correctly (I believe), even though the code shown above the REPL is wrong.
I am not sure whether this is a misunderstanding on my side or a bug, but I would be appreciative if someone could take a look at it.
The text was updated successfully, but these errors were encountered:
In the Non-determinism example on the website, the backtrack handler code is written like this
However, it seems to me, that the paper defines it like follows
Notice that the continuations are reversed
When I try loading the code in the REPL, the handler behaves correctly (I believe), even though the code shown above the REPL is wrong.
I am not sure whether this is a misunderstanding on my side or a bug, but I would be appreciative if someone could take a look at it.
The text was updated successfully, but these errors were encountered: