[GHC] #10321: GHC.TypeLits.Nat types no longer fully simplified.

[GHC]

#10321: GHC.TypeLits.Nat types no longer fully simplified.
-------------------------------------+-------------------------------------
        Reporter:  darchon           |                   Owner:
            Type:  bug               |                  Status:  patch
        Priority:  highest           |               Milestone:  7.10.2
       Component:  Compiler (Type    |                 Version:  7.10.1
  checker)                           |                Keywords:  TypeLits
      Resolution:                    |            Architecture:
Operating System:  Unknown/Multiple  |  Unknown/Multiple
 Type of failure:  Other             |               Test Case:
      Blocked By:                    |  ghci/scripts/T10321
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:  ​phab:D870
-------------------------------------+-------------------------------------

Comment (by Austin Seipp <austin@…>):

 In [changeset:"f7daf5afe2ba4f60f60245fa82306b89a272ffa8/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="f7daf5afe2ba4f60f60245fa82306b89a272ffa8"
 Normalise type families in the type of an expression

 Before, the type of an expression, and the type of a variable
 binding that expression used to be different in GHCi. The
 reason being that types of bound variables were already normalised.
 Now, both are normalised.

 This implements the suggestions as given in Trac #10321
 Also adds an expected output for test T10321

 Reviewed By: goldfire, simonpj

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

 GHC Trac Issues: #10321
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10321#comment:12>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler