2024-03-29 01:23 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000041mercuryBugpublic2014-09-02 12:27
Reporterbvn 
Assigned Tojuliensf 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
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.
Attached Files

-Relationships
has duplicate 0000062resolvedjuliensf Compiler crashes at bad end_module declaration. 
has duplicate 0000268resolvedjuliensf Typo in :- end_module declaration leads to compiler crash. 
+Relationships

-Notes

~0000075

juliensf (administrator)

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 (developer)

Fix committed 2014 sep 2.
+Notes

-Issue History
Date Modified Username Field Change
2008-02-01 20:57 bvn New Issue
2008-02-08 17:27 juliensf Note Added: 0000075
2008-02-08 17:27 juliensf Assigned To => juliensf
2008-02-08 17:27 juliensf Status new => assigned
2008-06-06 18:33 juliensf Relationship added has duplicate 0000062
2012-12-04 18:22 juliensf Relationship added has duplicate 0000268
2014-09-02 12:27 zs Note Added: 0000778
2014-09-02 12:27 zs Status assigned => resolved
2014-09-02 12:27 zs Resolution open => fixed
+Issue History