#10284: Create a dedicated `TypeError` exception type -------------------------------------+------------------------------------- Reporter: kosmikus | Owner: kanetw Type: feature request | Status: closed Priority: normal | Milestone: 8.0.1 Component: Core Libraries | Version: 7.10.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_run/T10284 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): phab:D866 -------------------------------------+------------------------------------- Comment (by RyanGlScott <ryan.gl.scott@…>): In [changeset:"a7ad0b91e7dace173ed95f31b221628d50c175e8/ghc" a7ad0b9/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="a7ad0b91e7dace173ed95f31b221628d50c175e8" 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 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10284#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler