#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