This commit is contained in:
adelaett 2023-02-14 10:48:14 +01:00
parent 9a68563488
commit 9319e94617

View File

@ -188,11 +188,11 @@ val map :
on empty, you can write
{[
let remove_error_empty =
let remove_error_empty e =
let rec f e =
match Marked.unmark e with
| ErrorOnEmpty e1 -> Expr.map f e1
| _ -> Expr.map f e
| EErrorOnEmpty e1 -> Expr.map ~f e1
| _ -> Expr.map ~f e
in
f e
]} *)