You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4511 Reporter: jm Assigned to:@garrigue Status: closed (set by @garrigue on 2012-06-01T08:09:36Z) Resolution: fixed Priority: normal Severity: feature Version: 3.10+dev Fixed in version: 4.00.0+dev Category: ~DO NOT USE (was: OCaml general) Related to:#4838 Monitored by: "Julien Signoles" @yakobowski
Bug description
% ocaml
Objective Caml version 3.10.2+dev3 (2008-01-29)
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:
What you propose is changing the value restriction to accept a local
module binding. Before we do that, we'll need to come up with a proof
that such a change is sound. Intuitively, I don't believe it's the
case.
Original bug ID: 4511
Reporter: jm
Assigned to: @garrigue
Status: closed (set by @garrigue on 2012-06-01T08:09:36Z)
Resolution: fixed
Priority: normal
Severity: feature
Version: 3.10+dev
Fixed in version: 4.00.0+dev
Category: ~DO NOT USE (was: OCaml general)
Related to: #4838
Monitored by: "Julien Signoles" @yakobowski
Bug description
% ocaml
Objective Caml version 3.10.2+dev3 (2008-01-29)
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: