Deal with large extra-contraints wildcards
[ghc.git] / ANNOUNCE
index a71058d..c00db3c 100644 (file)
--- a/ANNOUNCE
+++ b/ANNOUNCE
@@ -1,61 +1,82 @@
 
-   =============================================================
-    The (Interactive) Glasgow Haskell Compiler -- version 6.4
-   =============================================================
+           ===============================================
+            The Glasgow Haskell Compiler -- version 8.0.1
+           ===============================================
 
-The GHC Team is pleased to announce a new major release of GHC.  It
-has been a long time since the last major release (Dec 2003!), and a
-lot has happened:
+The GHC Team is pleased to announce a new super-major release of GHC. This is
+the most significant GHC release in quite some time, including both a number
+of major features and numerous bug fixes. These include,
 
-  - GADTs (Generalised Abstract Datatypes) are supported  
+ * The TypeInType extension, which unifies types and kinds, allowing GHC
+   to reason about kind equality and enabling promotion of GADTs to the type
+   level.
 
-  - STM (Software Transactional Memory) is implemented
+ * Support for record pattern synonyms
 
-  - Full support for Cabal and a much improved package framework
+ * The -XDeriveAnyClass extension learned to derive instances for classes with
+   associated types
 
-  - Better support for mutually-recursive modules
+ * More reliable DWARF debugging information
 
-  - A complete rewrite of the back end
+ * Support for injective type families
 
-  - Accurate source locations in error messages
+ * Applicative do-notation
 
 - Lots of new libraries
* Support for wildcards in data and type family instances
 
-The full release notes are here:
+ * Strict and StrictData extensions, allowing modules to be compiled with
+   strict-by-default bindings
+
+ * The DuplicateRecordFields extensions, allowing multiple datatypes to declare
+   the same record field names provided they are used unambiguously
+
+ * Support for implicit parameters providing light-weight callstacks and source
+   locations
+
+ * User-defined error messages for type errors
+
+ * A rewritten (and greatly improved) pattern exhaustiveness checker
+
+ * GHCi can run the interpreter in a separate process, and the interpreter can
+   now run profiled code
+
+ * A native code generator for powerpc64 and powerpc64le architectures
+
+ * and more!
+
+A more thorough list of the changes in the release can be found in the release
+notes,
+
+  http://haskell.org/ghc/docs/8.0.1/html/users_guide/release-8-0-1.html
 
-  http://haskell.org/ghc/docs/6.4/html/users_guide/release-6-4.html
 
 How to get it
 ~~~~~~~~~~~~~
-The easy way is to go to the WWW page, which should be self-explanatory:
+
+The easy way is to go to the web page, which should be self-explanatory:
 
         http://www.haskell.org/ghc/
 
-We supply binary builds in the native package format for various
-flavours of Linux and BSD, and in Windows Installer (MSI) form
-for Windows folks.  Binary builds for other platforms are available
-as a .tar.gz which can be installed wherever you want.  The source
-distribution is also available from the same place.
+We supply binary builds in the native package format for many
+platforms, and the source distribution is available from the same
+place.
 
 Packages will appear as they are built - if the package for your
 system isn't available yet, please try again later.
 
 
-
 Background
 ~~~~~~~~~~
-Haskell is a standard lazy functional programming language; the
-current language version is Haskell 98, agreed in December 1998 and
-revised December 2002.
+
+Haskell is a standard lazy functional programming language.
 
 GHC is a state-of-the-art programming suite for Haskell.  Included is
-an optimising compiler generating good code for a variety of
+an optimising compiler generating efficient code for a variety of
 platforms, together with an interactive system for convenient, quick
 development.  The distribution includes space and time profiling
 facilities, a large collection of libraries, and support for various
 language extensions, including concurrency, exceptions, and foreign
-language interfaces (C, whatever).  GHC is distributed under a
-BSD-style open source license.
+language interfaces. GHC is distributed under a BSD-style open source license.
 
 A wide variety of Haskell related resources (tutorials, libraries,
 specifications, documentation, compilers, interpreters, references,
@@ -68,49 +89,56 @@ On-line GHC-related resources
 
 Relevant URLs on the World-Wide Web:
 
-GHC home page             http://www.haskell.org/ghc/
-Haskell home page         http://www.haskell.org/
-comp.lang.functional FAQ  http://www.cs.nott.ac.uk/~gmh/faq.html
-
+GHC home page              http://www.haskell.org/ghc/
+GHC developers' home page  http://ghc.haskell.org/trac/ghc/
+Haskell home page          http://www.haskell.org/
 
 
-System requirements
+Supported Platforms
 ~~~~~~~~~~~~~~~~~~~
-To compile programs with GHC, you need a machine with 64+MB memory, GCC
-and perl. This release is known to work on the following platforms:
 
-  * i386-unknown-{linux,*bsd,mingw32}
-  * sparc-sun-solaris2
-  * powerpc-apple-darwin (MacOS X)
-  * powerpc-apple-linux
+The list of platforms we support, and the people responsible for them,
+is here:
+
+   http://ghc.haskell.org/trac/ghc/wiki/Contributors
 
 Ports to other platforms are possible with varying degrees of
-difficulty.  The builder's guide on the web site gives a complete
-run-down of what ports work and how to go about porting to a new
-platform; it can be found at
+difficulty.  The Building Guide describes how to go about porting to a
+new platform:
+
+    http://ghc.haskell.org/trac/ghc/wiki/Building
+
 
-   http://hackage.haskell.org/trac/ghc/wiki/Building
+Developers
+~~~~~~~~~~
+
+We welcome new contributors.  Instructions on accessing our source
+code repository, and getting started with hacking on GHC, are
+available from the GHC's developer's site run by Trac:
+
+  http://ghc.haskell.org/trac/ghc/
 
 
 Mailing lists
 ~~~~~~~~~~~~~
+
 We run mailing lists for GHC users and bug reports; to subscribe, use
 the web interfaces at
 
-       http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
-       http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
+    http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
+    http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
 
 There are several other haskell and ghc-related mailing lists on
 www.haskell.org; for the full list, see
 
-       http://www.haskell.org/mailman/listinfo/
+    https://mail.haskell.org/cgi-bin/mailman/listinfo
+
+Some GHC developers hang out on #haskell on IRC, too:
 
-Please report bugs using our SourceForge page at
-       
-       http://sourceforge.net/projects/ghc/
+    http://www.haskell.org/haskellwiki/IRC_channel
 
-or send them to glasgow-haskell-bugs@haskell.org.
+Please report bugs using our bug tracking system.  Instructions on
+reporting bugs can be found here:
 
-GHC users hang out on glasgow-haskell-users@haskell.org.  Bleeding
-edge CVS users party on cvs-ghc@haskell.org.
+    http://www.haskell.org/ghc/reportabug