We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 95edb42 commit 1ee2d46Copy full SHA for 1ee2d46
src/lsc_eval.ml
@@ -7,7 +7,6 @@ let ( let* ) x f = Result.bind x ~f
7
8
type configuration = constellation * constellation
9
10
-
11
let fmap_ban ~f = function
12
| Ineq (b1, b2) -> Ineq (f b1, f b2)
13
| Incomp (b1, b2) -> Incomp (f b1, f b2)
src/sgen_eval.ml
@@ -94,7 +94,7 @@ let rec eval_sgen_expr (env : env) :
94
List.fold_left t ~init:(Ok init) ~f:(fun acc x ->
95
let* acc = acc in
96
let origin = acc |> Marked.remove_all |> Marked.make_state_all in
97
- eval_sgen_expr env (Focus (Exec (false, Group [ x; Raw origin ]))) )
+ eval_sgen_expr env (Focus (Exec (false, Group [ x; Raw origin ]))) )
98
in
99
res |> Result.return
100
| Eval e -> (
0 commit comments