Closed Julow closed 1 month ago
Found by test-branch on very recent code. This caused a problem during normalization with this code:
(** {[ f (fun ~f -> x) ]} *)
test-branch is failing because the main branch contains the bug. ocaml-ci results are the same as on main.
Found by test-branch on very recent code. This caused a problem during normalization with this code: