Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000041mercuryBugpublic2008-02-01 20:572014-09-02 12:27
Reporterbvn 
Assigned Tojuliensf 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000041: unclear error message in case the end_module declaration differs from the :- module description
DescriptionThe compiler bails out this message:

Making Mercury/ints/rdfStore_support.int
Uncaught Mercury exception:
Software Error: modules.m: Unexpected: standardize_impl_items: unexpected items
Stack dump not available in this grade.
make: *** [nim_tcp_xml_server] Error 1

The situation to reproduce: compile a module MX. Then make a copy of MX to become MY. Change in MY the :- module mx. :- module my. and then recompile.

TagsNo tags attached.
Relationships
has duplicate 0000062resolved juliensf Compiler crashes at bad end_module declaration. 
has duplicate 0000268resolved juliensf Typo in :- end_module declaration leads to compiler crash. 
Attached Files

Notes
(0000075)
juliensf   
2008-02-08 17:27   
IIRC, this actually quite difficult to detect at the moment.
We are intending to restructure the frontend of the compiler in such a way that
things like this will be easier to detect; that work has not been completed yet however.

I'll take a look and see if anything can be done in the interim; at the very least the
exception could mention the possibility that the :- module and :- end_module declarations
disagree.
(0000778)
zs   
2014-09-02 12:27   
Fix committed 2014 sep 2.

Issue History
Date ModifiedUsernameFieldChange
2008-02-01 20:57bvnNew Issue
2008-02-08 17:27juliensfNote Added: 0000075
2008-02-08 17:27juliensfAssigned To => juliensf
2008-02-08 17:27juliensfStatusnew => assigned
2008-06-06 18:33juliensfRelationship addedhas duplicate 0000062
2012-12-04 18:22juliensfRelationship addedhas duplicate 0000268
2014-09-02 12:27zsNote Added: 0000778
2014-09-02 12:27zsStatusassigned => resolved
2014-09-02 12:27zsResolutionopen => fixed