[m-dev.] for review: abstract instance declarations

[Fergus Henderson]

On 09-Feb-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 9
> 
> Implement abstract instance declarations.

One more small change to the test cases is required -- see below.

I'm pretty confident about all this working, so I'll commit this stuff now.
I'm still hoping David will review it at some stage, but if there are
any problems identified by the review then I can fix them then.

--------------------

tests/invalid/typeclass_test_[3-5].err_exp:
	Update to reflect additional error messages resulting
	from the improved error detection in compiler/make_hlds.m.

Index: typeclass_test_3.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/typeclass_test_3.err_exp,v
retrieving revision 1.8
diff -u -u -r1.8 typeclass_test_3.err_exp
--- typeclass_test_3.err_exp	1998/12/01 09:54:03	1.8
+++ typeclass_test_3.err_exp	1999/02/11 12:13:03
@@ -2,4 +2,7 @@
 typeclass_test_3.m:014:   `typeclass_test_3:numbered_type(int)': no
 typeclass_test_3.m:014:   implementation for type class function method
 typeclass_test_3.m:014:   `typeclass_test_3:type_num/1'.
+typeclass_test_3.m:014: In instance declaration for
+typeclass_test_3.m:014:   `typeclass_test_3:numbered_type/1': incorrect method
+typeclass_test_3.m:014:   name(s).
 For more information, try recompiling with `-E'.
Index: typeclass_test_4.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/typeclass_test_4.err_exp,v
retrieving revision 1.6
diff -u -u -r1.6 typeclass_test_4.err_exp
--- typeclass_test_4.err_exp	1998/12/01 09:54:03	1.6
+++ typeclass_test_4.err_exp	1999/02/11 12:13:19
@@ -2,4 +2,7 @@
 typeclass_test_4.m:014:   `typeclass_test_4:numbered_type(int)': no
 typeclass_test_4.m:014:   implementation for type class function method
 typeclass_test_4.m:014:   `typeclass_test_4:type_num/1'.
+typeclass_test_4.m:014: In instance declaration for
+typeclass_test_4.m:014:   `typeclass_test_4:numbered_type/1': incorrect method
+typeclass_test_4.m:014:   name(s).
 For more information, try recompiling with `-E'.
Index: typeclass_test_5.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/typeclass_test_5.err_exp,v
retrieving revision 1.4
diff -u -u -r1.4 typeclass_test_5.err_exp
--- typeclass_test_5.err_exp	1998/12/01 09:54:03	1.4
+++ typeclass_test_5.err_exp	1999/02/11 12:13:40
@@ -3,6 +3,8 @@
 typeclass_test_5.m:015:   method `typeclass_test_5:p/1'.
 typeclass_test_5.m:016: First definition appears here.
 typeclass_test_5.m:017: Subsequent definition appears here.
+typeclass_test_5.m:015: In instance declaration for `typeclass_test_5:c2/1':
+typeclass_test_5.m:015:   incorrect method name(s).
 typeclass_test_5.m:015: In instance declaration for `typeclass_test_5:c2(int)':
 typeclass_test_5.m:015:   superclass constraint(s) not satisfied:
 typeclass_test_5.m:015:   `typeclass_test_5:c1(int)'.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.