Preprocessing with bisect leads to lost of polymorphism

aantron / bisect_ppx

Code coverage for OCaml and ReScript

http://aantron.github.io/bisect_ppx/demo/

MIT License

302 stars 60 forks source link

Preprocessing with bisect leads to lost of polymorphism #440

Open Kakadu opened 5 months ago

Kakadu commented 5 months ago

https://gist.github.com/Kakadu/7341b697b43651a33a018b8984902311 bisect_ppx 2.8.3 ocaml 4.14.2

 This definition has type
     (unit -> ('a list as 'a) -> 'zzz) ->
     unit -> 'a option -> ('b list as 'b) option
 which is less general than
     'zzz0.
     (unit -> ('a list as 'a) -> 'zzz0) ->
     unit -> 'a option -> ('b list as 'b) option