0000476: Compiler aborts during typeclass check

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000476

mercury

Bug

public

2019-04-07 15:20

2019-04-08 03:16

Reporter

juliensf

Assigned To

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000476: Compiler aborts during typeclass check

Description

With the attached test case, rotd-2019-02-23 aborts with the following error:

Uncaught Mercury exception:
Software Error: check_hlds.check_typeclass: predicate `check_hlds.check_typeclass.check_instance_pred'/14: Unexpected: no constraint on class method

rather than printing a proper error message.

Steps To Reproduce

Compile with: mmc -C

Tags

No tags attached.

Attached Files

bug476.m (1,694 bytes) 2019-04-07 15:20

Relationships

Relationships

Notes

~0001022

zs (developer)

2019-04-08 03:16

Fix committed 2019 april 8.

Notes

Date Modified	Username	Field	Change
Issue History
2019-04-07 15:20	juliensf	New Issue
2019-04-07 15:20	juliensf	File Added: bug476.m
2019-04-07 20:56	zs	Assigned To	=> zs
2019-04-07 20:56	zs	Status	new => assigned
2019-04-08 03:16	zs	Status	assigned => resolved
2019-04-08 03:16	zs	Resolution	open => fixed
2019-04-08 03:16	zs	Note Added: 0001022

Issue History