Use strict types and folds in CoreStats
[ghc.git] / ANNOUNCE
index 416ec03..c00db3c 100644 (file)
--- a/ANNOUNCE
+++ b/ANNOUNCE
@@ -1,35 +1,54 @@
 
-   ==============================================================
-    The (Interactive) Glasgow Haskell Compiler -- version 6.10.1
-   ==============================================================
+           ===============================================
+            The Glasgow Haskell Compiler -- version 8.0.1
+           ===============================================
 
-The GHC Team is pleased to announce a new major release of GHC. There
-have been a number of significant changes since the last major release,
-including:
+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,
 
- * Some new language features have been implemented:
-   * Record syntax: wild-card patterns, punning, and field disambiguation
-   * Generalised quasi-quotes
-   * Generalised list comprehensions
-   * View patterns
+ * The TypeInType extension, which unifies types and kinds, allowing GHC
+   to reason about kind equality and enabling promotion of GADTs to the type
+   level.
 
- * Type families have been completely re-implemented
+ * Support for record pattern synonyms
 
- * Now comes with Haddock 2, which supports all GHC extensions
+ * The -XDeriveAnyClass extension learned to derive instances for classes with
+   associated types
 
- * Parallel garbage collection
+ * More reliable DWARF debugging information
 
- * Base provides extensible exceptions
+ * Support for injective type families
 
- * The GHC API is easier to use
+ * Applicative do-notation
 
- * External core (output only) now works again
+ * Support for wildcards in data and type family instances
 
- * Data Parallel Haskell (DPH) comes as part of GHC
+ * Strict and StrictData extensions, allowing modules to be compiled with
+   strict-by-default bindings
 
-The full release notes are here:
+ * 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.10.1/html/users_guide/release-6-10-1.html
 
 How to get it
 ~~~~~~~~~~~~~
@@ -49,18 +68,15 @@ 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,
@@ -74,7 +90,7 @@ On-line GHC-related resources
 Relevant URLs on the World-Wide Web:
 
 GHC home page              http://www.haskell.org/ghc/
-GHC developers' home page  http://hackage.haskell.org/trac/ghc/
+GHC developers' home page  http://ghc.haskell.org/trac/ghc/
 Haskell home page          http://www.haskell.org/
 
 
@@ -84,13 +100,13 @@ Supported Platforms
 The list of platforms we support, and the people responsible for them,
 is here:
 
-   http://hackage.haskell.org/trac/ghc/wiki/Contributors
+   http://ghc.haskell.org/trac/ghc/wiki/Contributors
 
 Ports to other platforms are possible with varying degrees of
 difficulty.  The Building Guide describes how to go about porting to a
 new platform:
 
-    http://hackage.haskell.org/trac/ghc/wiki/Building
+    http://ghc.haskell.org/trac/ghc/wiki/Building
 
 
 Developers
@@ -100,7 +116,7 @@ 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://hackage.haskell.org/trac/ghc/
+  http://ghc.haskell.org/trac/ghc/
 
 
 Mailing lists
@@ -109,13 +125,13 @@ 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: