lwt
lwt copied to clipboard
Wrong type annotations with Lwt_ppx 5.9.2
It seems that Lwt_ppx no longer inserts type annotations at the right location. The following code:
let main () =
let%lwt (_ : int) = Lwt.return 0 in
Lwt.return_unit
was transformed into:
let main () =
let __ppx_lwt_0 = Lwt.return 0 in
Lwt.backtrace_bind (fun exn -> try Lwt.reraise exn with | exn -> exn)
__ppx_lwt_0 (fun (_ : int) -> Lwt.return_unit)
by Lwt_ppx 5.9.1 but Lwt_ppx 5.9.2 now outputs:
let main () =
let __ppx_lwt_0 : int = Lwt.return 0 in
Lwt.backtrace_bind (fun exn -> try Lwt.reraise exn with | exn -> exn)
__ppx_lwt_0 (fun _ -> Lwt.return_unit)
thanks for the bug report, I'll look into it