[commit: ghc] master: Add 'type family (m :: Symbol) <> (n :: Symbol)' (7026edc)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/7026edc37331d067c47e4a3506590a39c22f82d3/ghc

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

commit 7026edc37331d067c47e4a3506590a39c22f82d3
Author: Oleg Grenrus <oleg.grenrus at iki.fi>
Date:   Thu Jan 19 15:19:25 2017 -0500

    Add 'type family (m :: Symbol) <> (n :: Symbol)'
    
    Reviewers: dfeuer, austin, bgamari, hvr
    
    Subscribers: dfeuer, mpickering, RyanGlScott, ekmett, yav, lelf,
    simonpj, thomie
    
    Differential Revision: https://phabricator.haskell.org/D2632
    
    GHC Trac Issues: #12162


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

7026edc37331d067c47e4a3506590a39c22f82d3
 compiler/prelude/PrelNames.hs                      |  3 +
 compiler/typecheck/TcTypeNats.hs                   | 98 ++++++++++++++++++++--
 docs/users_guide/8.2.1-notes.rst                   |  3 +
 libraries/base/GHC/TypeLits.hs                     |  5 ++
 libraries/base/changelog.md                        |  3 +
 testsuite/tests/ghci/scripts/T9181.stdout          |  3 +
 .../typecheck/should_compile/TcTypeSymbolSimple.hs | 28 +++++++
 testsuite/tests/typecheck/should_compile/all.T     |  1 +
 .../typecheck/should_run/TcTypeNatSimpleRun.hs     | 12 ++-
 .../typecheck/should_run/TcTypeNatSimpleRun.stdout |  2 +-
 .../typecheck/should_run/TcTypeSymbolSimpleRun.hs  | 22 +++++
 .../should_run/TcTypeSymbolSimpleRun.stdout        |  1 +
 testsuite/tests/typecheck/should_run/all.T         |  1 +
 13 files changed, 172 insertions(+), 10 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 7026edc37331d067c47e4a3506590a39c22f82d3