Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000007mercuryBugpublic2007-09-27 23:532007-10-26 15:48
Reporteranonymous 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusfeedbackResolutionopen 
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 <rafe@csse.unimelb.edu.au>
To: Julien Fischer <juliensf@csse.unimelb.edu.au>
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.
Relationships
Attached Filestgz foobar.tgz (585) 2007-09-27 23:53
https://bugs.mercurylang.org/file_download.php?file_id=5&type=bug

Notes
(0000040)
juliensf   
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 `foo2.bar'.
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
Date ModifiedUsernameFieldChange
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