0000499: unqualified type encountered assertion

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000499

mercury

Bug

public

2020-04-06 13:08

2020-04-06 14:19

Reporter

wangp

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

assigned

Resolution

open

Product Version

Target Version

Fixed in Version

Summary

0000499: unqualified type encountered assertion

Description

The 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

Tags

No tags attached.

Attached Files

bug.m (91 bytes) 2020-04-06 13:08

Relationships

Relationships

Notes
There are no notes attached to this issue.

Notes

Date Modified	Username	Field	Change
Issue History
2020-04-06 13:08	wangp	New Issue
2020-04-06 13:08	wangp	File Added: bug.m
2020-04-06 14:19	zs	Assigned To	=> zs
2020-04-06 14:19	zs	Status	new => assigned

Issue History