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: 5865 Reporter:@avsm Assigned to:@garrigue Status: closed (set by @garrigue on 2012-12-27T02:40:08Z) Resolution: fixed Priority: normal Severity: crash Fixed in version: 4.01.0+dev Category: typing
Bug description
With the latest OCaml 4.01.0+dev10 trunk (last commit: "do not diff the patch itself"), I get a typing assertion failure when a type error should be emitted:
File "githubbot.ml", line 19, characters 29-34:
Fatal error: exception Assert_failure("typing/printtyp.ml", 1154, 10)
Raised at file "format.ml", line 195, characters 41-52
Called from file "format.ml", line 423, characters 8-33
Called from file "format.ml", line 438, characters 6-24
The code in question is quite hard to separate out, but the failure is:
prerr_endline m.Github_t.title
where the real record field is "m.Github_t.milestone_title" instead of "title".
The text was updated successfully, but these errors were encountered:
Original bug ID: 5865
Reporter: @avsm
Assigned to: @garrigue
Status: closed (set by @garrigue on 2012-12-27T02:40:08Z)
Resolution: fixed
Priority: normal
Severity: crash
Fixed in version: 4.01.0+dev
Category: typing
Bug description
With the latest OCaml 4.01.0+dev10 trunk (last commit: "do not diff the patch itself"), I get a typing assertion failure when a type error should be emitted:
File "githubbot.ml", line 19, characters 29-34:
Fatal error: exception Assert_failure("typing/printtyp.ml", 1154, 10)
Raised at file "format.ml", line 195, characters 41-52
Called from file "format.ml", line 423, characters 8-33
Called from file "format.ml", line 438, characters 6-24
The code in question is quite hard to separate out, but the failure is:
where the real record field is "m.Github_t.milestone_title" instead of "title".
The text was updated successfully, but these errors were encountered: