| Anonymous | Login | Signup for a new account | 2013-05-22 15:36 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 | |||
| 0005906 | OCaml | OCaml typing | public | 2013-01-24 15:26 | 2013-04-23 02:41 | |||
| Reporter | sbriais | |||||||
| Assigned To | garrigue | |||||||
| Priority | normal | Severity | minor | Reproducibility | always | |||
| Status | closed | Resolution | fixed | |||||
| Platform | AMD64 | OS | Linux | OS Version | ||||
| Product Version | 4.00.1 | |||||||
| Target Version | Fixed in Version | 4.00.2+dev | ||||||
| Summary | 0005906: GADT exhaustiveness check is still broken | |||||||
| Description | The attached file should warn that a pattern-matching is not exhaustive but does not. The bug still exists in the current trunk (r13274). | |||||||
| Tags | No tags attached. | |||||||
| Attached Files |  bug.ml [^] (507 bytes) 2013-01-24 15:26 | |||||||
 Relationships |
 Notes |
|
|
(0008796) garrigue (manager) 2013-01-25 05:30 |
Fixed in trunk and 4.00, at revisions 13276 and 13277. There was a stupid bug in try_many_gadt. |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2013-01-24 15:26 | sbriais | New Issue | |
| 2013-01-24 15:26 | sbriais | File Added: bug.ml | |
| 2013-01-25 05:30 | garrigue | Note Added: 0008796 | |
| 2013-01-25 05:30 | garrigue | Status | new => closed |
| 2013-01-25 05:30 | garrigue | Assigned To | => garrigue |
| 2013-01-25 05:30 | garrigue | Resolution | open => fixed |
| 2013-01-25 05:30 | garrigue | Fixed in Version | => 4.00.2+dev |
| 2013-04-23 02:41 | garrigue | Relationship added | child of 0005998 |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |