[commit: ghc] wip/nested-cpr's head updated: Work in progress: nested-cpr.tex (4f0fa84)

[git at git.haskell.org]

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

Branch 'wip/nested-cpr' now includes:

     98db754 Typos in comments
     45d825b Add an expect-broken test for Trac #8566
     9433f1d Tidy up Outputable.printDoc, and add printDoc_
     44dc0aa Eta expand data family instances before printing them
     0f7381b Don't print roles for data instances
     19e09df Add a test case for #5949
     20b1a07 Add testcase for #4267
     e4a4aba Fix #8675
     0d90cbc Enable LLVM-based code generation for FreeBSD/amd64.
     c3b8b3a Allow "amd64" to be recognized as an x86_64 platform.
     bcc5c95 Re-enable DYNAMIC_GHC_PROGRAMS for FreeBSD.
     1ad599e Fix #8451
     fe3740b Make `#include "Rts.h"` C++-compatible again (re #8676)
     2bb19fa Make worker-wrapper unbox data families
     0c57887 Simplify doCorePass
     da66a8d Test case for #T7619
     59cb44a Explain why TcAxiomInstCo carries [TcCoercion], and not [TcType]
     4f8369b Implement pattern synonyms
     22ddcff T7336 is expected to be broken because of a regression introduced by pattern synonym implementation
     0a2d323 Fix #8677 (fallout from #8180)
     3047c09 Fix some of the 32bit perf numbers.
     721e188 Fix another failure.
     c9ed9aa Clean up the release notes.
     b61958d Also mention Pattern Synonyms (but with a FIXME)
     4f9df5a More release note touchups.
     21c2607 More tweaks.
     c5088e2 Fix more 32 bit performance fallout.
     d562382 Wibble.
     e81c630 Release notes: mention Mavericks and some bugs
     2335060 And don't forget FreeBSD
     7c48e76 Revert "Fix more 32 bit performance fallout."
     13f1f86 Fix 32bit numbers (again)
     801a3d2 One more fix (T3064)
     cabf0b4 Fix spelling of language pragma
     26acb49 More demand analyser test cases
     8d34ae3 Some polishing of the demand analyser.
     e01367f Some typos in comments
     5281dd6 User documentation for pattern synonyms
     9005f91 Squash some spelling issues
     d9ac5ea Tweak the example
     7325040 Mention #3202 (no monomorphism restriction in GHCi) in release notes
     8f8bd88 Fix the Win64 RTS linker & disable .ctors
     2ac9e5b build.mk.sample: Don't disable dynamic linking for LLVM flavours
     08f8efb Add short blurb about LLVM dynamic linking to release notes
     4ade962 Abort when binutils ld is used with dynamic linking on ARM
     874124d Fix ./validate failure due to unused result.
     db9baf0 Update some mingw32 perf numbers.
     f9652e2 Check for __thread in ./configure.ac
     28b031c Refactor GCTDecl.h, and mitigate #7602 a bit
     943f22a Document a Haddock/Mavericks bug.
     f7be53a Fix inplace dynamic linking on OS X (#8266)
     25821cc Win64 linker: fix loading foreign imports (#2283)
     9ed12c7 Remove a TODO FIXME in the release notes.
     466d069 Bump version: 7.7 -> 7.9
     24669fe Update Win32 submodule to pull in version bump
     9f58cec Fix glitch in core-spec pdf
     48326cf Fix iOS build (fallout from 28b031c506)
     99484c9 Add a perf-cross build setting.
     044f233 Bump win32 version number in release notes
     1dd38a5 Remove Coercible documentation from compiler/prelude/primops.txt.pp
     fda9beb Fix some edge cases in 8f8bd88c (#7134)
     5671ad6 Update to latest Cabal 1.18 branch tip
     71a412c No need to remove testsuite/.git
     50e4d40 Individual sdist-foo targets
     a2269bf Remove some references to deprecated -fglasgow-exts in user's guide
     ea584ab Loopification jump between stack and heap checks
     c6ce808 Remove unnecessary LANGUAGE pragma
     99c3ed8 Simplify Control Flow Optimisations Cmm pass
     78afa20 Nuke dead code
     d5fb670 Fix a popular typo in comments
     f028975 Remove redundant NoMonoLocalBinds pragma
     b5c45d8 Remove unused import
     5f64b2c Add test-case for #8726
     526cbc7 Document deprecations in Hoopl
     dba9bf6 Eliminate duplicate code in Cmm pipeline
     2b33f6e Final fix to #7134 (and #8717 as well.)
     889e02f Strictify the demand on unlifted arguments
     24fa001 Add Converges to DmdResult
     9343ce5c7 In deferType, return convRes = Converges NoCPR
     be33911 Mark the scrunitee of a multi-way-case as converging
     6cfa6ea Literals are Converging
     95ec011 Some primitive operations are converging
     b886ef8 Note [Termination information and arguments]
     1817b65 Variables of unlifted types are always converging
     d4ed1c6 Initial work on Nested CPR
     1810fe5 Limit the depth of the CPR information
     685ef19 Add a flag -fnested-cpr-off to conveniently test the effect of nested CPR
     34db1df Refactor trimCPRInfo away
     2e6a0d8 Pass nested CPR information from scrunitee to body
     3336339 CPR test case: Case binder CPR
     220998d Actually create a nested CPR worker-wrapper
     ecb4cc4 Inline the datacon wrapper more aggressively
     868496a Add a testcase with an infinite CPR property
     db71595 Mark FacState as not broken
     92fa9f0 Do not attach CPR information to data constructor ids
     7e92656 Remove dmdTransformDataConSig
     2ee0836 Unify the code paths that create cpr signatures
     c636d36 Replace static CPR flags by dynamic -fcpr-depth
     b4c2be0 CPR testcase: AnonLambda
     161d0ce Note [Recursion and nested cpr] and test case
     dc388b4 More tracing in the demand analyser
     4f0fa84 Work in progress: nested-cpr.tex