Make TypeError a newtype, add changelog entry
authorRyanGlScott <ryan.gl.scott@gmail.com>
Tue, 2 Feb 2016 14:03:04 +0000 (09:03 -0500)
committerRyanGlScott <ryan.gl.scott@gmail.com>
Tue, 2 Feb 2016 14:03:19 +0000 (09:03 -0500)
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

docs/users_guide/8.0.1-notes.rst
libraries/base/Control/Exception/Base.hs
libraries/base/changelog.md

index cf4cf8d..9159026 100644 (file)
@@ -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
 ~~~~~~
 
index b609ef2..351771b 100644 (file)
@@ -361,7 +361,9 @@ instance Exception NoMethodError
 -- |An expression that didn't typecheck during compile time was called.
 -- This is only possible with -fdefer-type-errors. The @String@ gives
 -- details about the failed type check.
-data TypeError = TypeError String
+--
+-- @since 4.9.0.0
+newtype TypeError = TypeError String
 
 instance Show TypeError where
     showsPrec _ (TypeError err) = showString err
index 8560fe7..7f85f35 100644 (file)
@@ -91,6 +91,9 @@
     precision: `log1p`, `expm1`, `log1pexp` and `log1mexp`. These are not
     available from `Prelude`, but the full class is exported from `Numeric`.
 
+  * New `Control.Exception.TypeError` datatype, which is thrown when an
+    expression fails to typecheck when run using `-fdefer-type-errors` (#10284)
+
 ### New instances
 
   * `Alt`, `Dual`, `First`, `Last`, `Product`, and `Sum` now have `Data`,