Mercury Bugs - mercury
View Issue Details
0000499mercuryBugpublic2020-04-06 13:082022-01-25 01:51
Assigned Tozs 
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.
Attached Files? bug.m (91) 2020-04-06 13:08

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
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