Mercury Bugs - mercury
View Issue Details
0000436mercuryBugpublic2017-04-28 16:382017-05-03 10:42
Reporterwangp 
Assigned Tojuliensf 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000436: unknown constructor in foreign_enum
DescriptionThe compiler silently allows a constructor in a pragma foreign_enum that do not correspond a constructor of the type.
TagsNo tags attached.
Attached Files? foreign_enum_unknown_ctor.m (207) 2017-04-28 16:38
https://bugs.mercurylang.org/file_download.php?file_id=269&type=bug

Notes
(0000951)
juliensf   
2017-04-28 16:45   
That's a bit naughty of it -- I'll take a look it.
(0000952)
juliensf   
2017-05-03 10:42   
Fixed in commit c40f4300f.

Issue History
2017-04-28 16:38wangpNew Issue
2017-04-28 16:38wangpFile Added: foreign_enum_unknown_ctor.m
2017-04-28 16:45juliensfAssigned To => juliensf
2017-04-28 16:45juliensfStatusnew => assigned
2017-04-28 16:45juliensfNote Added: 0000951
2017-05-03 10:42juliensfStatusassigned => resolved
2017-05-03 10:42juliensfResolutionopen => fixed
2017-05-03 10:42juliensfNote Added: 0000952