[commit: ghc] wip/custom-type-errors: Implement support for user-defined type errors. (f330d27)

Thu Oct 29 20:07:36 UTC 2015

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/custom-type-errors
Link       : http://ghc.haskell.org/trac/ghc/changeset/f330d27fe7bcc884ed9c56fcf2c73bc8eb3e975f/ghc

>---------------------------------------------------------------

commit f330d27fe7bcc884ed9c56fcf2c73bc8eb3e975f
Author: Iavor S. Diatchki <diatchki at galois.com>
Date:   Thu Oct 29 13:03:21 2015 -0700

    Implement support for user-defined type errors.

    Summary:
    Implements Lennart's idea from the Haskell Symposium.
    Users may use the special type function `TypeError`, which is
    similar to `error` at the value level.

    See Trac ticket https://ghc.haskell.org/trac/ghc/ticket/9637, and wiki page https://ghc.haskell.org/trac/ghc/wiki/CustomTypeErros

    Test Plan: ?

    Reviewers: austin, goldfire, hvr, simonpj, bgamari

    Subscribers: adamgundry, thomie

    Differential Revision: https://phabricator.haskell.org/D1236

    GHC Trac Issues: #9637

>---------------------------------------------------------------

f330d27fe7bcc884ed9c56fcf2c73bc8eb3e975f
 compiler/prelude/PrelNames.hs   | 51 ++++++++++++++++++++++++++++++
 compiler/typecheck/TcErrors.hs  | 69 ++++++++++++++++++++++++++++++++++++++---
 compiler/typecheck/TcRnTypes.hs | 19 +++++++++++-
 compiler/types/TypeRep.hs       |  4 ++-
 libraries/base/GHC/TypeLits.hs  | 15 +++++++++
 5 files changed, 152 insertions(+), 6 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc f330d27fe7bcc884ed9c56fcf2c73bc8eb3e975f