[project @ 1998-12-18 17:40:31 by simonpj]

Another big commit from Simon.  Actually, the last one
didn't all go into the main trunk; because of a CVS glitch it
ended up in the wrong branch.

So this commit includes:

* Scoped type variables
* Warnings for unused variables should work now (they didn't before)
* Simplifier improvements:
	- Much better treatment of strict arguments
	- Better treatment of bottoming Ids
	- No need for w/w split for fns that are merely strict
	- Fewer iterations needed, I hope
* Less gratuitous renaming in interface files and abs C
* OccName is a separate module, and is an abstract data type

I think the whole Prelude and Exts libraries compile correctly.
Something isn't quite right about typechecking existentials though.

1 files changed, 14 insertions, 0 deletions

diff --git a/ghc/compiler/NOTES b/ghc/compiler/NOTES
index c64db1a5b5..72b3be03b8 100644
--- a/ghc/compiler/NOTES
+++ b/ghc/compiler/NOTES
@@ -1,6 +1,20 @@
 cvs remove TcGRHSs.hi-boot TcGRHSs.hi-boot-5 TcGRHSs.lhs
 cvs remove pbinding.ugn
 cvs add grhsb.ugn gdexp.ugn
+cvs add basicTypes/OccName.lhs
+
+
+New in 4.02
+* Scoped type variables
+* Warnings for unused variables should work now (they didn't before)
+* Simplifier improvements:
+	- Much better treatment of strict arguments
+	- Better treatment of bottoming Ids
+	- No need for w/w split for fns that are merely strict
+	- Fewer iterations needed, I hope
+* Less gratuitous renaming in interface files and abs C
+* OccName is a separate module, and is an abstract data type
+
 -----------------------