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: 5918 Reporter: nuffer Assigned to:@garrigue Status: closed (set by @xavierleroy on 2015-12-11T18:20:59Z) Resolution: unable to duplicate Priority: normal Severity: minor Version: 4.00.1 Category: typing Monitored by:@hcarty
Bug description
Using a compiler with Jacques Garrigue's short paths compiler patch the type checker crashes trying to generate "record field labels are undefined" errors for types inside recursive modules.
Steps to reproduce
Using ocaml-4.00.1 with Jacques Garrigue's short paths patch, compile:
module rec A : sig
type t
end = struct
type t =
{ a : unit;
b : unit;
}
The short paths patch is now merged in trunk.
Please use trunk, as the patch will only be supported in 4.01.
And I couldn't reproduce your bug using trunk.
Original bug ID: 5918
Reporter: nuffer
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2015-12-11T18:20:59Z)
Resolution: unable to duplicate
Priority: normal
Severity: minor
Version: 4.00.1
Category: typing
Monitored by: @hcarty
Bug description
Using a compiler with Jacques Garrigue's short paths compiler patch the type checker crashes trying to generate "record field labels are undefined" errors for types inside recursive modules.
Steps to reproduce
Using ocaml-4.00.1 with Jacques Garrigue's short paths patch, compile:
module rec A : sig
type t
end = struct
type t =
{ a : unit;
b : unit;
}
let _ = { a = () }
end
;;
And receive something like:
Fatal error: exception Assert_failure("typing/typecore.ml", 257, 13)
The text was updated successfully, but these errors were encountered: