diff options
| author | RyanGlScott <ryan.gl.scott@gmail.com> | 2016-02-02 09:03:04 -0500 |
|---|---|---|
| committer | RyanGlScott <ryan.gl.scott@gmail.com> | 2016-02-02 09:03:19 -0500 |
| commit | a7ad0b91e7dace173ed95f31b221628d50c175e8 (patch) | |
| tree | b88d4bb479a9a35ec4d23cdc7b56a96d10408d3a /docs | |
| parent | 07ed24132ebe62aab15f14a655506decdf252ff9 (diff) | |
| download | haskell-a7ad0b91e7dace173ed95f31b221628d50c175e8.tar.gz | |
Make TypeError a newtype, add changelog entry
Summary:
Phab:D866 added the `TypeError` datatype to `Control.Exception` to represent
the error that is thrown when `-fdefer-type-errors` is on, but a changelog
entry for it was never added. In addition, it should probably be a
newtype.
Reviewers: austin, hvr, KaneTW, bgamari
Reviewed By: KaneTW, bgamari
Subscribers: thomie, KaneTW
Differential Revision: https://phabricator.haskell.org/D1873
GHC Trac Issues: #10284
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/8.0.1-notes.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/users_guide/8.0.1-notes.rst b/docs/users_guide/8.0.1-notes.rst index cf4cf8dfae..9159026943 100644 --- a/docs/users_guide/8.0.1-notes.rst +++ b/docs/users_guide/8.0.1-notes.rst @@ -304,6 +304,10 @@ Compiler :ghc-flag:`-this-unit-id` or, if you need compatibility over multiple versions of GHC, :ghc-flag:`-package-name`. +- When :ghc-flag:`-fdefer-type-errors` is enabled and an expression fails to + typecheck, ``Control.Exception.TypeError`` will now be thrown instead of + ``Control.Exception.ErrorCall``. + GHCi ~~~~ @@ -527,6 +531,10 @@ See ``changelog.md`` in the ``base`` package for full release notes. - Enable ``PolyKinds`` in the ``Data.Functor.Const`` module to give ``Const`` the kind ``* -> k -> *`` (see :ghc-ticket:`10039`). +- Add the ``TypeError`` datatype to ``Control.Exception``, which represents the + error that is thrown when an expression fails to typecheck when run using + :ghc-flag:`-fdefer-type-errors`. (see :ghc-ticket:`10284`) + binary ~~~~~~ |