Local modules remove polymorphism. #4511
Original bug ID: 4511
let ok = fun _ -> ();;
val ok : 'a -> unit =
let ko = let module M = struct end in fun _ -> ();;
val ko : '_a -> unit =
I think [ko] should have the signature 'a -> unit.
The text was updated successfully, but these errors were encountered: