Mercury Bugs - mercury
View Issue Details
0000011mercuryBugpublic2007-09-28 13:142007-10-22 15:18
Assigned Tojuliensf 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000011: instance declarations for unknown types accepted in interface
DescriptionThe compiler accepts instance declarations in the interface of a module on types which don't appear in the interface, if the type is later defined in the module.
TagsNo tags attached.
Attached Files? instance_no_type.m (612) 2007-09-28 13:14

2007-09-28 14:06   
Yes, it's a bug. I'm not sure how serious this is since all instance
declarations are in some sense global anyway. Still, it would be nice
to make it report something here.
2007-10-22 15:18   
Fixed. See log message of r1.115 of compiler/check_typeclass.m for details.

Issue History
2007-09-28 13:14anonymousNew Issue
2007-09-28 13:14anonymousFile Added: instance_no_type.m
2007-09-28 14:06juliensfNote Added: 0000006
2007-09-28 14:22juliensfAssigned To => juliensf
2007-09-28 14:22juliensfStatusnew => assigned
2007-10-22 15:18juliensfStatusassigned => resolved
2007-10-22 15:18juliensfResolutionopen => fixed
2007-10-22 15:18juliensfNote Added: 0000039