Mercury Bugs - mercury |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000017 | mercury | Bug | public | 2007-10-11 12:18 | 2015-11-11 19:00 |
|
| Reporter | wangp | |
|---|
| Assigned To | zs | |
|---|
| Priority | normal | Severity | minor | Reproducibility | always |
|---|
| Status | resolved | Resolution | fixed | |
|---|
| Platform | | OS | | OS Version | |
|---|
| Product Version | | |
|---|
| Target Version | 15.11 | Fixed in Version | | |
|---|
|
| Summary | 0000017: no error for unknown types in interface if defined in implementation |
|---|
| Description | The compiler does not issue an error for unknown types in the interface if the type is later defined in the implementation.
This may be the same bug as 0000011.
|
|---|
| Tags | No tags attached. |
|---|
| Relationships | | has duplicate | 0000329 | resolved | juliensf | Uncaught Mercury exception: | | has duplicate | 0000091 | resolved | juliensf | compiler throws exception in hlc.gc |
|
| Attached Files | not_abstract.m (138) 2007-10-11 12:18 https://bugs.mercurylang.org/file_download.php?file_id=9&type=bug |
|---|