let (and+) x y =
match x,y with
| Some x, Some y -> Some (x, y)
| _ -> None
while I expected
let (and+) x y =
match x,y with
| Some x, Some y -> Some (x, y)
| _ -> None
similarly signatures are broken:
module Infix : sig
val (and+) : ('a, 'error) result -> ('b, 'error) result -> ('a * 'b, 'error) result
val (let+) : ('a, 'error) result -> ('a -> 'b) -> ('b, 'error) result
end
instead of :
module Infix : sig
val (and+) : ('a, 'error) result -> ('b, 'error) result -> ('a * 'b, 'error) result
val (let+) : ('a, 'error) result -> ('a -> 'b) -> ('b, 'error) result
end
On current master, I have after running:
I obtain
while I expected
similarly signatures are broken:
instead of :