Always expose unfoldings for overloaded functions.
[ghc.git] / ANNOUNCE
1
2            ===============================================
3             The Glasgow Haskell Compiler -- version 8.0.1
4            ===============================================
5
6 The GHC developers are very pleased to announce the release of the first
7 new super-major version of our Haskell compiler in six years, GHC 8.0.1.
8
9 This release features dozens of exciting developments including,
10
11  * A more refined interface for implicit call-stacks, allowing libraries to
12    provide more helpful runtime error messages to users
13
14  * The introduction of the DuplicateRecordFields language extension, allowing
15    multiple record types to declare fields of the same name
16
17  * Significant improvements in error message readability and content, including
18    facilities for libraries to provide custom error messages, more aggressive
19    warnings for fragile rewrite rules, and more helpful errors for missing
20    imports
21
22  * A rewritten and substantially more thorough pattern match checker, providing
23    more precise exhaustiveness checking in GADT pattern matches
24
25  * More reliable debugging information including experimental backtrace support,
26    allowing better integration with traditional debugging tools
27
28  * Support for desugaring do-notation to use Applicative combinators, allowing
29    the intuitive do notation to be used in settings which previously required
30    the direct use of Applicative combinators
31
32  * The introduction of Strict and StrictData language extensions, allowing
33    modules to be compiled with strict-by-default evaluation of bindings
34
35  * Great improvements in portability, including more reliable linking on
36    Windows, a new PPC64 code generator, support for the AIX operating system,
37    unregisterised m68k support, and significant stabilization on ARM targets
38
39  * A greatly improved user's guide, with beautiful and modern PDF and HTML
40    output
41
42  * Introduction of type application syntax, reducing the need for proxies
43
44  * More complete support for pattern synonyms, including record pattern synonyms
45    and the ability to export patterns "bundled" with a type, as you would a data
46    constructor
47
48  * Support for injective type families and recursive superclass relationships
49
50  * An improved generics representation leveraging GHC's support for type-level
51    literals
52
53  * The TypeInType extension, which unifies types and kinds, allowing GHC to
54    reason about kind equality and enabling promotion of more constructs to the
55    type level
56
57  * ...and more!
58
59 A more thorough list of the changes included in this release can be found in the
60 release notes,
61
62     https://downloads.haskell.org/~ghc/8.0.1/docs/html/users_guide/8.0.1-notes.html
63
64 As always, we have collected various points of interest for users of previous
65 GHC releases on the GHC 8.0 migration page,
66
67     https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0
68
69 Please let us know if you encounter anything missing or unclear on this page.
70
71 This release is the culmination of nearly eighteen months of effort by over one
72 hundred contributors. We'd like to thank everyone who has contributed code, bug
73 reports, and feedback over the past year. It's only because of their efforts
74 that GHC continues to evolve.
75
76
77 How to get it
78 ~~~~~~~~~~~~~
79
80 Both the source tarball and binary distributions for a wide variety of platforms
81 are available at,
82
83     http://www.haskell.org/ghc/
84
85
86 Background
87 ~~~~~~~~~~
88
89 Haskell is a standardized lazy functional programming language.
90
91 The Glasgow Haskell Compiler (GHC) is a state-of-the-art programming suite for
92 Haskell. Included is an optimising compiler generating efficient code for a
93 variety of platforms, together with an interactive system for convenient, quick
94 development. The distribution includes space and time profiling facilities, a
95 large collection of libraries, and support for various language extensions,
96 including concurrency, exceptions, and foreign language interfaces. GHC is
97 distributed under a BSD-style open source license.
98
99
100 Supported Platforms
101 ~~~~~~~~~~~~~~~~~~~
102
103 The list of platforms we support, and the people responsible for them, can be
104 found on the GHC wiki
105
106     http://ghc.haskell.org/trac/ghc/wiki/Platforms
107
108 Ports to other platforms are possible with varying degrees of difficulty. The
109 Building Guide describes how to go about porting to a new platform:
110
111     http://ghc.haskell.org/trac/ghc/wiki/Building
112
113
114 Developers
115 ~~~~~~~~~~
116
117 We welcome new contributors. Instructions on getting started with hacking on GHC
118 are available from GHC's developer site,
119
120     http://ghc.haskell.org/trac/ghc/
121
122
123 Community Resources
124 ~~~~~~~~~~~~~~~~~~~
125
126 There are mailing lists for GHC users, develpoers, and monitoring bug tracker
127 activity; to subscribe, use the web interfaces at
128
129     http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
130     http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
131     http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
132
133 There are several other Haskell and GHC-related mailing lists on
134 www.haskell.org; for the full list, see
135
136     https://mail.haskell.org/cgi-bin/mailman/listinfo
137
138 Some GHC developers hang out on the #ghc and #haskell of the Freenode IRC
139 network, too:
140
141     http://www.haskell.org/haskellwiki/IRC_channel
142
143 Please report bugs using our bug tracking system. Instructions on reporting bugs
144 can be found here:
145
146     http://www.haskell.org/ghc/reportabug