Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000499mercuryBugpublic2020-04-06 13:082022-01-25 01:51
Reporterwangp 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000499: unqualified type encountered assertion
DescriptionThe compiler crashes on the attached (erroneous) source file:

% mmc --make-interface bug
Uncaught Mercury exception:
Software Error: predicate `parse_tree.comp_unit_interface.accumulate_modules_used_by_type_ctor'/3: Unexpected: unqualified type encountered
TagsNo tags attached.
Relationships
Attached Files? bug.m (91) 2020-04-06 13:08
https://bugs.mercurylang.org/file_download.php?file_id=297&type=bug

Notes
(0001161)
zs   
2022-01-25 01:51   
An immediate fix was committed 2020 april 8. The underlying problem,
ignoring errors by default when making .intN files, has been sortof-solved
by making --halt-at-invalid-interface the default, with the immediate fix
from 2020 preventing a compiler crash if it is ever explicitly switched off.

Issue History
Date ModifiedUsernameFieldChange
2020-04-06 13:08wangpNew Issue
2020-04-06 13:08wangpFile Added: bug.m
2020-04-06 14:19zsAssigned To => zs
2020-04-06 14:19zsStatusnew => assigned
2022-01-25 01:51zsStatusassigned => resolved
2022-01-25 01:51zsResolutionopen => fixed
2022-01-25 01:51zsNote Added: 0001161