[commit: ghc] type-nats's head updated: Merge remote-tracking branch 'origin/tc-untouchables' into type-nats (2355fdc)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

Branch 'type-nats' now includes:

     7babb1b... Big changes on tc-untouchables branch
     5b4fef6... When floating constraints outwards, promote the floated type variables
     0d55e1e... Avoid emitting Given constraints for spontaneous unifications. Instead keep spontaneous unifications /only/ in the TcS tybinds. Relevant note is Note [Spontaneously solved in TyBinds] in TcInteract.
     ee578b6... Merge branch 'tc-untouchables' of http://darcs.haskell.org/ghc into tc-untouchables
     34be452... Minor fixes, mostly simplificaitons
     f5216cd... Merge remote-tracking branch 'origin/HEAD' into tc-untouchables
     2b69233... A raft more changes,  * simplifying and tidying up canonicalisation,  * removing the flat cache altogether  * making the FunEq worklist into a deque
     b737a45... More simplifications to the constraint solver
     fe6ddf0... A bunch more simplification and refactoring to the constraint solver
     740cbdf... Merge branch 'tc-untouchables', remote branch 'origin' into tc-untouchables
     ff32f97... Wibbles to fe6ddf00, fixing infelicities
     d37deb7... Some comments and false starts to do with ArrForm
     82ace67... Comments only
     d4fa711... Remove historical Unique parameter from pushUntouchables
     ed7538b... Move inert_insols into the InertCans record
     64d07ab... Make kickOutRewritable kick out insolubles
     b493d39... When defaulting, check for *meta* tyvars
     7560dd6... Some refactoring; removes simplifyCheck
     633dd55... Moved solving of type families to zonkWC and a few simplifications in TcSimplify. Now unflattening does not happen recursively inside solveWanteds which should be a good performance win.
     b0db930... Merge remote-tracking branch 'origin/master' into tc-untouchables
     8a9a7a8... Add type "holes", enabled by -XTypeHoles, Trac #5910
     5f312c8... Spelling in comments only
     8089391... Comments about how the untouchables stuff works
     0683258... Improve the binding location of class methods (I think)
     d30b9cf... Another refactoring of constraints
     1a6ab64... Remove cc_ty from CIrredCan and cc_hole_ty from CHoleCan
     bd6b183... Tidy up and simplify TcMType.zonkFlats (discussion between DV and SLPJ)
     510f439... Tidy up and simplify simplifyRule, pls adding some other comments
     af7cc99... Implement 'left' and 'right' coercions
     58470fb... Make a start towards eta-rules and injective families
     1b5c833... Undo making Any into a type family, for now
     19dd108... Be careful about kinds when eta-expanding AppCo
     09a0670... Signatures and comments
     9429190... Make sure that even insoluble constraints are fully substituted
     8e7d415... Merge remote-tracking branch 'origin/master' into tc-untouchables
     08167ac... Merge remote-tracking branch 'origin/master' into tc-untouchables
     23db38b... Comments only
     b00c29d... Fix an outright bug in my "left/right" stuff, and refactor canEqLeafTyVarEq along the same lines as our earlier refactoring of canEqLeafFunEq
     9e05651... Don't put unused constants in platformConstants
     a7147df... Add missing dataCast1 method to the Data Bag instance
     a17da16... FIX #7255: print tyConTyVars tc, not tc_args
     1f5d836... Allow allocNursery() to allocate single blocks (#7257)
     016fd74... Cache the result of countOccupied(gen->large_objects) as gen->n_large_words (#7257)
     c19f2e3... Include pinned memory in the stats for allocated memory
     5f01b6d... Fix off-by-one (#7227)
     3f2bd36... Fiddling with kind errors
     ef3339c... Convert more RTS macros to functions
     c88fe39... Convert more RTS macros to functions
     ed6a7e4... Fix the profiling build
     118a09e... Remove a redundant cast
     6cf0e21... Whitespace only in rename/RnSource.lhs
     4bda967... Don't warn about defining deprecated class methods
     ca64cee... Use finiteBitSize rather than bitSize when it is available
     096c29d... Ignore deprecation warnings for bitSize in libs when validating
     673b6f5... Revert "Disable the timer signal while blocked in select() (#5991)"
     0b79d5c... Another overhaul of the recent_activity / idle GC handling (#5991)
     acdebbb... no functional changes
     b482966... Generate better code for "if (3 <= x) then ..."
     3596d5d... whitespace only
     254f1a6... whitespace and panic message fixup
     5cf7182... Misc tidyup
     93faddc... fix panic message typo
     3473e21... When -split-objs is on, make one SRT per split, not one per module
     16206a6... Remove some old-codegen cruft
     9c15249... fix stage2 compilation
     2145ffc... Build old-time with stage2
     d3128bf... Partially fix #367 by adding HpLim checks to entry with -fno-omit-yields.
     aa2d5b5... Remove an unused bit from the Lexer bitmap
     7724ecb... Remove a stray " in the build system
     6e6da3a... Tweak the build system handling of shell wrappers
     155e9e1... Document that we don't warn about defining deprecated class methods
     42cb30b... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     4e339e0... Improve pretty printing for coercions
     f18c188... Wibble to debug print
     39f0bd0... Comments only
     e7279ac... Fix kind unification in the special rule for ($)
     444577a... Comments only
     6a9542a... Better ASSERT message
     9a058b1... Refactor the handling of kind errors
     6e3e64a... Merge remote-tracking branch 'origin/master' into tc-untouchables
     723a2bc... Merge remote-tracking branch 'origin/master' into type-nats
     2355fdc... Merge remote-tracking branch 'origin/tc-untouchables' into type-nats