0000557: Ambiguous type causes compiler error without giving a useful error message for debugging

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000557

mercury

Bug

public

2022-04-11 01:08

2022-04-11 13:42

Reporter

dirkz

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Platform

Mac

MacOS

OS Version

Catalina

Product Version

Target Version

Fixed in Version

Summary

0000557: Ambiguous type causes compiler error without giving a useful error message for debugging

Description

Mercury-Versions: 22.01 and rotd-2022-04-07

Two discriminated union types are defined in separate modules foo.m and bar.m and share the same name `ambiguous_type`. The module foo.m defines a record type of which one field has type `ambiguous_type`. A module qualification for the type of this record field is missing.

Actual result:
The compiler aborts with error and without giving a useful error message for debugging.

Expected result:
The compiler aborts with error, complaining about the missing module qualification for the ambiguous type.

Steps To Reproduce

Run the attached test case (foo.m and bar.m)

mmc --make foo

Tags

No tags attached.

Attached Files

test-case.tar.xz (3,584 bytes) 2022-04-11 01:08

Relationships

Relationships

Notes

~0001190

zs (developer)

2022-04-11 13:42

Fix committed 2022 apr 11.

Notes

Date Modified	Username	Field	Change
Issue History
2022-04-11 01:08	dirkz	New Issue
2022-04-11 01:08	dirkz	File Added: test-case.tar.xz
2022-04-11 10:41	zs	Assigned To	=> zs
2022-04-11 10:41	zs	Status	new => assigned
2022-04-11 13:42	zs	Status	assigned => resolved
2022-04-11 13:42	zs	Resolution	open => fixed
2022-04-11 13:42	zs	Note Added: 0001190

Issue History