| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000436 | mercury | Bug | public | 2017-04-28 16:38 | 2017-05-03 10:42 | ||||
| Reporter | wangp | ||||||||
| Assigned To | juliensf | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | resolved | Resolution | fixed | ||||||
| Product Version | |||||||||
| Target Version | Fixed in Version | ||||||||
| Summary | 0000436: unknown constructor in foreign_enum | ||||||||
| Description | The compiler silently allows a constructor in a pragma foreign_enum that do not correspond a constructor of the type. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
juliensf (administrator) 2017-04-28 16:45 |
That's a bit naughty of it -- I'll take a look it. |
|
juliensf (administrator) 2017-05-03 10:42 |
Fixed in commit c40f4300f. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2017-04-28 16:38 | wangp | New Issue | |
| 2017-04-28 16:38 | wangp | File Added: foreign_enum_unknown_ctor.m | |
| 2017-04-28 16:45 | juliensf | Assigned To | => juliensf |
| 2017-04-28 16:45 | juliensf | Status | new => assigned |
| 2017-04-28 16:45 | juliensf | Note Added: 0000951 | |
| 2017-05-03 10:42 | juliensf | Status | assigned => resolved |
| 2017-05-03 10:42 | juliensf | Resolution | open => fixed |
| 2017-05-03 10:42 | juliensf | Note Added: 0000952 | |
| Issue History |