Mercury Bugs - mercury
View Issue Details
0000017mercuryBugpublic2007-10-11 12:182015-11-11 19:00
Reporterwangp 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Version15.11Fixed in Version 
Summary0000017: no error for unknown types in interface if defined in implementation
DescriptionThe 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.
TagsNo tags attached.
has duplicate 0000329resolved juliensf Uncaught Mercury exception: 
has duplicate 0000091resolved 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

Notes
(0000866)
zs   
2015-11-11 19:00   
Fix committed 2015 nov 11.

Issue History
2007-10-11 12:18wangpNew Issue
2007-10-11 12:18wangpFile Added: not_abstract.m
2014-05-13 15:33juliensfRelationship addedhas duplicate 0000329
2015-10-31 20:42juliensfRelationship addedhas duplicate 0000091
2015-10-31 20:45juliensfTag Attached: 15.11
2015-10-31 20:47juliensfTag Detached: 15.11
2015-10-31 20:47juliensfTarget Version => 15.11
2015-11-02 13:12zsAssigned To => zs
2015-11-02 13:12zsStatusnew => assigned
2015-11-11 19:00zsNote Added: 0000866
2015-11-11 19:00zsStatusassigned => resolved
2015-11-11 19:00zsResolutionopen => fixed