[commit: ghc] wip/rae's head updated: reduceTyFamApp_maybe should *not* normalise arguments first. (3ec9391)

[git at git.haskell.org]

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

Branch 'wip/rae' now includes:

     e5974f8 Proposal for Backpack file format [skip ci]
     fc45f32 Implement -XStaticValues
     09b7943 fix misleading error message regarding function arity
     8b480d3 Document splitAt deviation from the Report
     df1307f Link pre-ARMv6 spinlocks into all RTS variants
     659ec2c Add proper expected output for T5435_dyn_asm on Darwin
     4d1c452 Only run subsections_via_symbols test when LLVM is available.
     7ca5bb0 compiler: fix trac issue #9817
     b006a1a Add Ord instances to TH
     13b0b46 Reorganise the work list, so that flattening goals are treated in the right order
     1496598 Get rid of TcMType.newWantedEvVar(s)
     3e234f7 Fix type-variable details naming (fixes misleading debug output)
     bcb967a When flattening, try reducing type-family applications eagerly
     832f8db Implement a fast path for new constraints looking like (a~b), namely unifyWanted
     37b3646 Testsuite wibbles from constraint-solver improvements
     fca85c9 Tests for Trac #9872
     a225c70 Comments only: move flattening notes to TcFlatten
     d45edfb White space wibble only
     7256213 Add a third test variant to Trac #9872
     8c82563 Test Trac #9090
     b8392ae Fix an obscure but terrible bug in the simplifier (Trac #9567)
     058262b 32-bit performance changes following constraint solver improvements
     0cc47eb Rewrite `Coercible` solver
     8a0de69 Flat constraint --> Simple constraint
     3ec9391 reduceTyFamApp_maybe should *not* normalise arguments first.