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: 4505 Reporter: turpin Status: closed (set by @garrigue on 2008-03-17T02:24:23Z) Resolution: fixed Priority: normal Severity: crash Version: 3.10.1 Fixed in version: 3.10.3+dev Category: ~DO NOT USE (was: OCaml general) Monitored by:@yakobowski
Bug description
The attached code fragment breaks type inference with:
Assert_failure("typing/ctype.ml", 2760, 50).
The behavior is the same with version 3.07 (up to the line number). I don't know how to reduce the code further, but the person who wrote the assertion should know what is going on :-).
Original bug ID: 4505
Reporter: turpin
Status: closed (set by @garrigue on 2008-03-17T02:24:23Z)
Resolution: fixed
Priority: normal
Severity: crash
Version: 3.10.1
Fixed in version: 3.10.3+dev
Category: ~DO NOT USE (was: OCaml general)
Monitored by: @yakobowski
Bug description
The attached code fragment breaks type inference with:
Assert_failure("typing/ctype.ml", 2760, 50).
The behavior is the same with version 3.07 (up to the line number). I don't know how to reduce the code further, but the person who wrote the assertion should know what is going on :-).
File attachments
The text was updated successfully, but these errors were encountered: