[commit: ghc] wip/T15809's head updated: Further work on TyCon generalisation (b152e99)

[git at git.haskell.org]

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

Branch 'wip/T15809' now includes:

     23956b2 Remove redundant SOURCE import
     512eeb9 More explicit foralls (GHC Proposal 0007)
     d849554 Fix for T14251 on ARM
     3c452d0 Fix rare undefined asm temp end label error in x86
     134de45 includes: Allow headers to be built with C++11 compilers
     c4a876d Fix `:k` command: add validity checking
     8e1a559 Fix integer overflow when encoding doubles (Trac #15271)
     2f2308e Comment out CONSTANT_FOLDED in GHC.Natural
     a7f64c6 Fix TcType.anyRewritableTyVar
     be88c81 plugins: search for .a files if necessary
     e69590f testsuite: EtaExpandLevPoly now passes in profiled ways
     49f5c6c Plugins: Add documentation and missing exports
     e400b9b Fix ghc-pkg when only prof way is enabled
     4257570 Improve diagnostic when using `make fast` in top directory
     5126764 Rewrite FastString table in concurrent hashtable
     e8a652f Bump template-haskell version to 2.15.0.0
     5e45ad1 Finish fix for #14880.
     4427315 Fix #15787 by squashing a coercion hole.
     3a51abd Remove kind generalisation from tcRnType
     c1db1eb Test T15711 in indexed-types/should_compile/T15711
     731c95f Test #15825 in dependent/should_fail/T15825
     2adffd8 Test #15076 in dependent/should_compile/T15076*
     09740d5 Revert "Remove kind generalisation from tcRnType"
     331081b Add a test case for #15829
     b8a797e Fix #15815 by parenthesizing the arguments to infix ~
     b2db706 users guide: Mention :since: in editing-guide
     e35ed9d users guide: Introduce :pragma: directive
     44a1d1f Fix sample code of -fprint-explicit-kinds, plus sample when disabling PolyKinds
     503ddd6 Docs: clarify the interaction between throwSTM and catchSTM.
     b8e30e4 Improve documentation for warning options
     78fb310 circleci: Build with in-tree GMP on Darwin
     66cb344 Correctly detect GIT in a subtree
     0bdbbd4 Bump time submodule
     849d384 Revert "Bump time submodule"
     42faeb3 Add second test case for #15592
     21d169b circleci: Store test results of slow validation builds
     7e1690d Fix docs typo in Bitraversable composition law
     9cbf6f2 Revert "Allocate bss section within proper range of other sections"
     82a7164 Revert "Add a RTS option -xp to load PIC object anywhere in address space"
     0901381 Tc-tracing, and order of arguments only
     9d70d5a WIP on using level numbers for generalisation
     3055b0a More progress on using level numbers for gen
     b152e99 Further work on TyCon generalisation