Mercury Bugs - mercury
View Issue Details
0000007mercuryBugpublic2007-09-27 23:532007-10-26 15:48
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000007: Type ctor module name bug
DescriptionDate: Wed, 1 Aug 2007 17:45:29 +1000
From: Ralph Becket <>
To: Julien Fischer <>
Subject: Type ctor module name bug

Unpack the attached tar file and build and run foo1 and foo2.
They give different answers, which I think is wrong.

-- Ralph
TagsNo tags attached.
Attached Filestgz foobar.tgz (585) 2007-09-27 23:53

2007-10-26 15:48   
The problem is that in the program `foo2' it is ambiguous as to whether
the file bar.m contains the module `bar' or the module `'.
The compiler apparently decides that it contains both!

I think the best thing to do here would be to emit a warning if the
module -> source file map is not a bijection.

Issue History
2007-09-27 23:53anonymousNew Issue
2007-09-27 23:53anonymousFile Added: foobar.tgz
2007-10-26 15:48juliensfNote Added: 0000040
2007-10-26 15:48juliensfStatusnew => feedback