trivial diff: existential types test case fix

Fergus Henderson fjh at cs.mu.OZ.AU
Fri Jul 10 10:13:50 AEST 1998


tests/invalid/typeclass_test_[12].err_exp:
	Update to reflect a trivial modification to an error message
	in my existential types changes: s/unsatisfied/unsatisfiable/

Index: tests/invalid/typeclass_test_1.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/typeclass_test_1.err_exp,v
retrieving revision 1.3
diff -u -r1.3 typeclass_test_1.err_exp
--- typeclass_test_1.err_exp	1998/04/09 18:33:11	1.3
+++ typeclass_test_1.err_exp	1998/07/08 20:12:41
@@ -2,6 +2,6 @@
 typeclass_test_1.m:014: Error: expected `pred(<Name> / <Arity>) is <InstanceName>': type_num is foo_type_num.
 typeclass_test_1.m:017: Syntax error at variable `_': operator or `.' expected.
 typeclass_test_1.m:007: In clause for predicate `typeclass_test_1:main/2':
-typeclass_test_1.m:007:   unsatisfied typeclass constraint(s):
+typeclass_test_1.m:007:   unsatisfiable typeclass constraint(s):
 typeclass_test_1.m:007:   typeclass_test_1:numbered_type(int).
 For more information, try recompiling with `-E'.
Index: tests/invalid/typeclass_test_2.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/typeclass_test_2.err_exp,v
retrieving revision 1.6
diff -u -r1.6 typeclass_test_2.err_exp
--- typeclass_test_2.err_exp	1998/05/29 08:57:06	1.6
+++ typeclass_test_2.err_exp	1998/07/08 20:12:49
@@ -2,7 +2,7 @@
 typeclass_test_2.m:023: Error: clause for function `typeclass_test_2:foo_type_num/1'
 typeclass_test_2.m:023:   without preceding `func' declaration.
 typeclass_test_2.m:010: In clause for predicate `typeclass_test_2:main/2':
-typeclass_test_2.m:010:   unsatisfied typeclass constraint(s):
+typeclass_test_2.m:010:   unsatisfiable typeclass constraint(s):
 typeclass_test_2.m:010:   typeclass_test_2:numbered_type(int).
 typeclass_test_2.m:023: Inferred :- func foo_type_num(T1) = int.
 For more information, try recompiling with `-E'.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.



More information about the developers mailing list