0000035: unsatisfied typeclass constraints error message mentions *satisfied* constraints

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000035

mercury

Bug

public

2008-01-08 14:38

2009-08-19 12:57

Reporter

petdr

Assigned To

wangp

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000035: unsatisfied typeclass constraints error message mentions *satisfied* constraints

Description

The attached program gives the following error

% missing_constraints.m:030: In clause for type class method implementation:
% missing_constraints.m:030: unsatisfiable typeclass constraints:
% missing_constraints.m:030: `missing_constraints.t1(int)' and
% missing_constraints.m:030: `missing_constraints.t2(int)'.

but the typeclass constraint t1(int) exists, only t2(int) is missing.

Working out which constraint is missing when the list contains a lot of constraints in time consuming and thus I think the compiler should only report those constraints which are needed.

Tags

No tags attached.

Attached Files

missing_constraints.m (736 bytes) 2008-01-08 14:38

Relationships

Relationships

Notes

~0000182

wangp (developer)

2009-08-19 12:57

Fixed today.

Notes

Date Modified	Username	Field	Change
Issue History
2008-01-08 14:38	~~petdr~~	New Issue
2008-01-08 14:38	~~petdr~~	File Added: missing_constraints.m
2009-08-18 11:56	~~petdr~~	Status	new => assigned
2009-08-18 11:56	~~petdr~~	Assigned To	=> wangp
2009-08-19 12:57	wangp	Note Added: 0000182
2009-08-19 12:57	wangp	Status	assigned => closed
2009-08-19 12:57	wangp	Resolution	open => fixed

Issue History