trivial diff: update BUGS and NEWS files

[Fergus Henderson]

Update a few files in preparation for release 0.8.

BUGS:
	Delete one of the bugs from the list, since we have basically
	fixed that one.

NEWS:
	s/typeclasses/type classes/g

Index: BUGS
===================================================================
RCS file: /home/mercury1/repository/mercury/BUGS,v
retrieving revision 1.9
diff -u -r1.9 BUGS
--- BUGS	1998/02/19 04:33:07	1.9
+++ BUGS	1998/11/09 15:33:03
@@ -110,39 +110,6 @@
 sometimes prints out the wrong value for the PC.
 
 -----------------------------------------------------------------------------
-Subject: bug with polymorphic abstract exported equivalence types
-Date: Tue, 27 May 1997 20:42:43 +1000 (EST)
-
-The compiler generates incorrect code for the following program.
-The problem is that at the call to f/1 in module bar, f/1 has
-type `func(foo(T)) = int', and so it passes the type_info in r1
-and the foo(T) (== int) in r2.  But in the definition it has type
-`func(int) = int', so it just passes the int in r1.
-Similarly for the call to c/0.
-
-:- module foo.
-:- interface.
-:- func f(foo(T)) = int.
-:- type foo(T).
-:- func c = foo(int).
-:- implementation.
-:- import_module int.
-:- type foo(T) == int.
-
-f(X) = X + 1.
-
-c = 42.
-
-:- module bar.
-:- interface.
-:- import_module io.
-:- pred main(io__state::di, io__state::uo) is det.
-:- implementation.
-:- import_module foo.
-main -->
-	write(f(c)), nl.
-
------------------------------------------------------------------------------
 Subject: inter-module optimization and abstract exported equivalence types.
 Date: Thu, 19 February 1998
 
Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.125
diff -u -r1.125 NEWS
--- NEWS	1998/11/11 07:07:26	1.125
+++ NEWS	1998/11/12 01:06:31
@@ -159,7 +159,7 @@
 * The compiler can now perform type specialization.
 
   Type specialization removes the overhead of polymorphic code, including
-  code which uses typeclasses. The disadvantage is increased code size.
+  code which uses type classes. The disadvantage is increased code size.
   Currently we do not perform inter-module type specialization.
   Type specialization is enabled by using the `--type-specialization' option.
 
@@ -280,7 +280,7 @@
 
 * We've made the MERCURY_OPTIONS environment variable somewhat easier to use.
 
-* Mtags is now able to produce tags for typeclass declarations.  It is
+* Mtags is now able to produce tags for type class declarations.  It is
   also able to produce tags files in the extended format supported by
   recent versions of Vim and Elvis.  Do `mtags --help' for more
   information.

-- 
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.