Mercury Bugs - mercury
View Issue Details
0000476mercuryBugpublic2019-04-07 15:202019-04-08 03:16
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000476: Compiler aborts during typeclass check
DescriptionWith 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 ReproduceCompile with: mmc -C
TagsNo tags attached.
Attached Files? bug476.m (1,694) 2019-04-07 15:20

2019-04-08 03:16   
Fix committed 2019 april 8.

Issue History
2019-04-07 15:20juliensfNew Issue
2019-04-07 15:20juliensfFile Added: bug476.m
2019-04-07 20:56zsAssigned To => zs
2019-04-07 20:56zsStatusnew => assigned
2019-04-08 03:16zsStatusassigned => resolved
2019-04-08 03:16zsResolutionopen => fixed
2019-04-08 03:16zsNote Added: 0001022