Anonymous | Login | Signup for a new account | 2019-02-20 02:34 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 | |||
0005425 | OCaml | ~DO NOT USE (was: OCaml general) | public | 2011-12-15 00:49 | 2013-04-23 02:55 | |||
Reporter | garrigue | |||||||
Assigned To | garrigue | |||||||
Priority | normal | Severity | minor | Reproducibility | have not tried | |||
Status | closed | Resolution | fixed | |||||
Platform | OS | OS Version | ||||||
Product Version | 3.13.0+dev | |||||||
Target Version | Fixed in Version | 3.13.0+dev | ||||||
Summary | 0005425: GADTs with object type indexes | |||||||
Description | Je te joins deux fichiers avec des GADTs qui font soit crasher le typeur, soit produire un message d'erreur pour le moins singulier. Si tu préfères que je te fasse passer ça par mantis plutôt que par mail, dis le moi. Alexandre | |||||||
Tags | No tags attached. | |||||||
Attached Files | ![]() | |||||||
![]() |
||||||||||||||||
|
![]() |
|
(0006297) garrigue (manager) 2011-12-15 03:28 |
Stack overflow was caused by wrong code when unifying two Tfield's. This case was not used until the extension of GADTs to objects. Fixed in revision 11316. |
![]() |
|||
Date Modified | Username | Field | Change |
2011-12-15 00:49 | garrigue | New Issue | |
2011-12-15 00:49 | garrigue | Status | new => assigned |
2011-12-15 00:49 | garrigue | Assigned To | => garrigue |
2011-12-15 00:49 | garrigue | File Added: bug2.ml | |
2011-12-15 00:50 | garrigue | Issue cloned | 0005427 |
2011-12-15 00:50 | garrigue | Relationship added | related to 0005427 |
2011-12-15 03:28 | garrigue | Note Added: 0006297 | |
2011-12-15 03:28 | garrigue | Status | assigned => closed |
2011-12-15 03:28 | garrigue | Resolution | open => fixed |
2011-12-15 03:28 | garrigue | Fixed in Version | => 3.13.0+dev |
2011-12-15 03:39 | garrigue | Relationship added | child of 0005428 |
2013-04-23 02:55 | garrigue | Relationship added | child of 0005998 |
2017-02-23 16:36 | doligez | Category | OCaml general => -OCaml general |
2017-03-03 17:55 | doligez | Category | -OCaml general => -(deprecated) general |
2017-03-03 18:01 | doligez | Category | -(deprecated) general => ~deprecated (was: OCaml general) |
2017-03-06 17:04 | doligez | Category | ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general) |
Copyright © 2000 - 2011 MantisBT Group |