+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
+
+-----------------------
+
+
* CHECK that the things seek_liftable found are done in Core
* CHECK that there aren't too many indirections in STG
* The double semicolon at the end of an interface-file signature is so that
the lexer can run through the pragmas very fast when -O isn't being used.
-* In export lists, T!(A,B) says that constructors A and B are exported,
- but not the type T. Similarly for classes.
+* In export lists, T|(A,B) says that constructors A and B are exported,
+ but not the type T. Similarly for classes.
+ We can't say T(T,A,B) and T(A,B) to export or not-export T respectively,
+ because the type T might have a constructor T.
===========================================================================