Anonymous | Login | Signup for a new account | 2019-02-20 18:07 CET | ![]() |
Main | My View | View Issues | Change Log | Roadmap |
View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | |||||||
0007424 | OCaml | typing | public | 2016-11-29 16:44 | 2016-12-10 03:40 | |||||||
Reporter | stedolan | |||||||||||
Assigned To | garrigue | |||||||||||
Priority | normal | Severity | minor | Reproducibility | always | |||||||
Status | resolved | Resolution | fixed | |||||||||
Platform | OS | OS Version | ||||||||||
Product Version | 4.04.0 | |||||||||||
Target Version | Fixed in Version | 4.05.0 +dev/beta1/beta2/beta3/rc1 | ||||||||||
Summary | 0007424: Typechecker diverges on a stupid program | |||||||||||
Description | The following strange program causes the typechecker to loop infinitely: type 'a b = B of 'a b b [@@unboxed] | |||||||||||
Tags | No tags attached. | |||||||||||
Attached Files | ||||||||||||
![]() |
|
(0016948) garrigue (manager) 2016-12-10 03:40 |
Fixed by commit 2608a18. This was not a divergence, just the "fuel" given to the function was much too large. Could also try to find a better termination criterion. |
![]() |
|||
Date Modified | Username | Field | Change |
2016-11-29 16:44 | stedolan | New Issue | |
2016-12-10 03:40 | garrigue | Note Added: 0016948 | |
2016-12-10 03:40 | garrigue | Status | new => resolved |
2016-12-10 03:40 | garrigue | Fixed in Version | => 4.05.0 +dev/beta1/beta2/beta3/rc1 |
2016-12-10 03:40 | garrigue | Resolution | open => fixed |
2016-12-10 03:40 | garrigue | Assigned To | => garrigue |
2017-02-23 16:45 | doligez | Category | OCaml typing => typing |
Copyright © 2000 - 2011 MantisBT Group |