[m-dev.] for review: type class error messages tests

Tyson Dowd trd at cs.mu.OZ.AU
Wed Sep 23 13:38:49 AEST 1998


PS:  Is your alias right:  this was addressed to 

To: Mercury Developers List
+<"mercury-developers at cs.mu.oz.au"@murlibobo.cs.mu.OZ.AU>


On 22-Sep-1998, David Jeffery <dgj at cs.mu.OZ.AU> wrote:
> Hi,
> 
> Here's the test cases for my previous diff (which doesn't seem to have 
> appeared yet):
> 
> ------------------------------------------------------------------------------
> 
> Estimated hours taken: 0.2
> 
> Test cases for the type class error messages.
> 
> invalid/typeclass_test_[3,4].err_exp:
> 	Updated to use the new error message format.

These test cases are wrong or the compiler is wrong.

expected:
typeclass_test_5.m:015: In instance declaration for typeclass_test_5:c2(int),

actual:
typeclass_test_5.m:015: In instance declaration for typeclass_test_5:c2(int):

The ',' and ':' don't match.

This caused the tests to fail last night.

-- 
Those who would give up essential liberty to purchase a little temporary
safety deserve neither liberty nor safety.     - Benjamin Franklin

Tyson Dowd   <tyson at tyse.net>   http://tyse.net



More information about the developers mailing list