| Anonymous | Login | Signup for a new account | 2017-07-26 01:00 CEST |  |
| 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 | ||||||||||||
 Relationships |
|
 Relationships |
|
Notes |
|
|
(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. |
|
Notes |
|
Issue History |
|||
| 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 |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |