[commit: ghc] supercompiler's head updated: Remove some tabs the commit hook is complaining about (4f3f9f0)

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

Branch 'supercompiler' now includes:

     a38b510... Add .gitignore.
     276888e... Remember that these files are executable.
     2abe72b... Fix example comment.
     3d9a2ab... Fix comment.
     7f23052... Add a missing ASSERT.
     b40cea3... Treat type operators as constants, not variables.
     9cbc204... Add basic support for number type literals.
     3151f79... Add some operations on type-level naturals.
     58c9e60... Merge branch 'master' into type-nats
     868de1a... Change permissions.
     39f7c93... Make sure we don't drop derived goals (temporary).
     c428b57... Merge branch 'master' into type-nats
     9b5f2e4... Rename class 'TypeNat' to 'NatI'.
     282ce88... Improve reasoning about ordering to support transitivity and anti-symmetry.
     7c5c9ca... Merge branch 'master' into type-nats
     c938450... An idea about dealing with associative operators.
     c15ae63... Refactor a bit and report errors due to impossible constraints.
     cccd40e... Yet another variation on associativity.
     2c72b52... Cancelation and associativity.
     319a403... Merge remote branch 'origin/master' into type-nats
     6cceac9... Some rather inefficient support for distributivity.
     36e8579... A small fix and a note.
     0657392... Merge commit 'c073f23aba6d88a9479a20ccb53bb98a338638db' into type-nats
     74838b2... (partial) Merge branch 'master' into type-nats
     1420296... Merge branch 'master' into type-nats
     0b11494... Merge branch 'master' into type-nats
     6609671... Refactor to replace hscGetModuleExports by hscGetModuleInterface
     c679ce1... Comments only
     1bcd32b... Add Type.tyConAppTyCon_maybe and tyConAppArgs_maybe, and use them
     459fb7b... isCoVarType should look at the *representation* type, rather than using isPredTy!  In Core land, a PredTy and its representation type are synonymous.
     6fb8a6a... Fix Trac #5372: a panic caused by over-eager error recovery
     70c7eb8... Remove all escape handling from quasiquotes; fixes Trac #5348
     0d74fee... Replace use of 'asTypeOf' by type signatures
     882e439... Simplify TcSMonad.matchFam's interface
     9d251f5... Fix a grevious error in InstEnv: Trac #5095
     617edd7... Document the (lack of) escape conventions in quasiquotes
     c492109... Print type contexts with fsep, not sep
     4e04484... Stop using -Wl,-no_pie on OS X
     4c1ea5c... Tidy up handling of PredTys: remove dead code, move functions deconstructing them to TcType
     ae3b612... Merge branch 'master' of http://darcs.haskell.org/ghc
     8f0c37e... Missing call to tcView, fixes naughty failure in tc208
     28ec3ab... Don't duplicate files in bindists; trac #5356
     af0a6aa... Add plugin documentation for reinitializeGlobals
     78e6b61... small optimisation for the program in #5367: if the worker thread being woken already has its wakeup flag set, don't bother signalling its condition variable again.
     043d70f... sanitise naming of package lists
     7d0f542... typo
     8feb281... comment about using "stage = 2" in build.mk
     59534b8... Update to work with Alex 3.0: basically disabling Alex's new Unicode support because we have our own, and defining alexGetByte instead of alexGetChar (actually we also define alexGetChar, for backwards compatibility).
     1ae5e77... plusParent can see a non-parent and a parent (fixes Trac #5374)
     7c39ab0... Merge branch 'master' of http://darcs.haskell.org/ghc
     d670b6f... Fix a long-standing bug in HsUtils.hsTyClDeclBinders
     46c19a8... Another run at binders in Template Haskell (fixes Trac #5379)
     bf79c61... A little extra tracing
     da0493e... Wibble to "Fix a long-standing bug in HsUtils.hsTyClDeclBinders"
     e17c156... Teach GHC to compile objective-c++ files as well (trac #5150)
     9213fc9... Also include basic time statistics in GCStats.
     ad48941... With -v, we now print the commandlines that get run by askCc
     ca003a5... Merge branch 'master' of mac:ghc/git/val64/.
     8ceb988... Add a case for kfreebsdgnu in Platforms.hs
     d464e73... Use parenSymOcc when displaying an export list in RnNames (fixes Trac #5385)
     31f15ef... Use the correct __GLASGOW_HASKELL__ value when invoking hsc2hs on source code to be compiled with the stage 0 compiler. (bug noticed by David Terei - thanks!)
     7ed0b20... fix #5381: the -debug RTS could crash with "internal error: MVAR_CLEAN on mutable list" after a call to tryPutMVar#.
     6b5bbe0... comment wibble
     61ce073... compatibility with Alex 3.0
     a28f25f... Have validate check for the "files written by multiple tests" error
     f7d289b... Add Trustworthy pragma to bin-package-db
     95755da... Fix an x86 code generation bug (#5393).  In fact, there were two bugs in X86.CodeGen.getNonClobberedOperand: two code fragments were the wrong way around, and we were using the wrong size on an instruction (32 bits instead of the word size).  This bit of the code generator must have never worked!
     349b8bb... Make the free variable finder in TidyPgm work properly
     2708657... Fix conditional pragma to work with 6.12
     a0d1b8a... Fail configure if Alex 3 is found.  Haddock doesn't build with Alex 3 yet, and fixing it is non-trivial (a change to Cabal is needed).  So I'm making configure fail with an error suggesting to install an older Alex for now.
     d7ca829... Disable saving the linker options in the binary on Solaris (#5382). Also refactor the check into one place.
     f0191c5... default to using @note for saving the linker opts (someone mentioned that it wasn't working on Alpha, because we had explicitly listed the arches rather than having a sensible fallback).
     e446425... Stephen Blackheath's GHC/ARM registerised port
     330dff3... implement ARMv6/7 specific xchg function
     226541c... make StgReturn and cas functions Thumb friendly
     454b34c... add support for STG floating-point regs using VFPv3
     1e85268... LLVM: set target data layout for arm-unknown-linux triplet
     b0538fd... implement ARMv7 specific memory barriers
     a9b455c... RTS: fix xchg/cas fcns to invoke memory barrier on ARMv7 platform
     9ebdbb2... RTS: fix pushWSDeque to invoke write barrier when element is added
     0ce75cf... fix ARM/LLVM target data layout specification together with target triple
     5cf87b4... disable for now ARM specific target data layout and triple
     f7a7050... ARMv5 compatibility for registerized runtime changes. When the bootstrap compiler does not include this patch, you must add this line to mk/build.mk, otherwise the ARM architecture cannot be detected due to a -undef option given to the C pre-processor. SRC_HC_OPTS = -pgmP 'gcc -E -traditional'
     242b2de... Warning police
     fa04068... Avoid call-clobbered registers
     d18b5d5... make shutdownHaskellAndExit() shut down the RTS and exit immediately (#5402)
     3932f7f... Correct typo (fix Trac #5411)
     ccbb0cc... Merge branch 'master' of http://darcs.haskell.org/ghc
     1df235e... remove unnecessary return
     f6f0430... fix occasional failure of numsparks001 test.  During shutdown we discard all the sparks from each Capability, but we were forgetting to account for the discarded sparks in the stats, leading to a failure of the assertion that tests the spark invariant.
     6af8d61... fix some #ifdefs that were making compilation with 7.2.1 fail - the safified array package is not in 7.2.1
     1064ab0... Comments only
     ddfba75... In instance declarations, the method names are *occurrences* not *binders*
     e35baae... Fix Trac #5404: looking up signature binders in RnEnv
     20ceffb... Improve debug printing of Names (respect opt_SuppressModulePrefixes)
     49dbe60... Major improvement to pattern bindings
     2d0438f... Add popCnt# primop
     46fa261... Add VECTORISE [SCALAR] type pragma
     9282550... Improve import and export of vectorisation information
     548765e... fix 32-bit build breakage
     5bbb5cf... More info from :issafe ghci command
     8d6962a... Change use of if to when
     710169b... Formatting fixes
     26cf7e5... 'Fix' a validation problem when bootstrap is 7.2.1
     d65efb2... Fix validation problem when GHC is 7.2.1, warnings from binary.
     ae6161e... Until the type checker can use vectorised signatures, we restrict the RHS of VECTORISE pragmas to be a single identifier only.
     2906db6... Add popcnt support to LLVM backend
     bab9a72... enhance ArchARM with ISA and ISA extensions
     3fff002... on ARMv7 with VFPv3[D16] support pass appropriate -mattr value to LLVM llc
     748883b... enable ARM specific target data layout and triple again
     c99e675... Remove file accidentally added to Karel's patch
     cd3d6f8... In :browse, always print output in the *current* context
     9c889ad... Pretty-printing improvements in HsSyn
     d50a093... Make pprTyThingInContenxt handle associated types right
     f76f0d0... A batch of changes related to the handling of binders in instance decls
     f37cf0d... More cmm-notes
     df17651... Merge branch 'master' of http://darcs.haskell.org/ghc
     0f99639... Comments only
     1ed5fab... Fix DocBook formatting
     7653eaa... Minor wibbles to pretty-printing HsSyn
     ec01185... Comments only
     10c8827... Implement lookupTypeName/lookupValueName, and reification of type family instances
     7277769... Functions and types can now be post-hoc vectorised; i.e., in modules where they are not declared, but only imported
     1df6309... Remove a hack in the type checker (which is no longer needed)
     82ac7ff... Fixed reading and generating VectInfo as well as naming of vectorised versions of imported identifiers
     faa4b3f... Fix name generation for vectorised identifiers
     3d886b2... Use double method, not the hacked rational method.
     3108acc... Formatting fixes
     5b167f5... Snapshot of codegen refactoring to share with simonpj
     493c12f... More refactoring (CgRep)
     190d8e1... fix type tags for RTS-defined info tables
     4efb0ab... Renaming only    CmmTop -> CmmDecl    CmmPgm -> CmmGroup
     017aff7... rename LRep to ArgRep
     1e303c7... use qualified names for clarity
     a61db80... add note about branchChainElim
     299d464... avoid record selector error on closureProf
     6396468... rewrite branchChainElim; other refactoring in CmmContFlowOpt
     4a86a0b... remove duplicate dump
     3a179c2... Refactoring: reduce usage of mkConInfo, with a view to killing it
     a6315fc... bugfix: static constructors were being given the dynamic info table pointer
     0644789... Remove another use of mkConInfo
     4ebf65a... eliminate ConInfo
     621ea41... get rid of the cg_rep field of CgIdInfo, which wasn't used anywhere
     fb127a9... Refactoring/renaming
     1c2f895... refactoring and fixing the stage 2 compilation
     ad7f129... fix warning
     0eb6439... disable a debug trace
     c5056b9... typos
     c579340... Make popCnt# primop work with dynamic compilation
     1b87614... Follow ghc-prim changes
     216091d... export HscEnv
     3b8d128... simpleImportDecl: default to unsafe, not safe
     79d6745... Clean up the handling of the import and :module commands in GHCi
     3a6120a... fix warning
     12646a9... By default, be lax about dependencies on GHC
     5061d77... A little more CPP removal
     514eb4e... More CPP removal
     067f29b... Start de-CPPing X86.Regs
     96adae6... Turn off lax dependencies by default
     5ee7d4e... Whitespace only in X86.Regs
     f948ebf... Some CPP removal in X86.Regs
     a55f503... Whitespace only in X86.Instr
     94ec282... Add type sigs to functions in RegAlloc.Graph.Spill
     d2d6bda... Allow associated types to have fresh parameters
     14681f8... Comments about type-family parents
     5e102e6... Get rid of associated-type default declarations
     4ea2675... Improve debug tracing
     eb46e0d... Fix the trimming of bind_fvs (fixes Trac #5439)
     c27df60... Two small further extensions to associated types
     fa71e6c... Fix #4988: we were wrongly running exception handlers in the maskUninterruptible state instead of ordinary mask, due to a misinterpretation of the way the TSO_INTERRUPTIBLE flag works.
     b5b4aae... Wibble to fix of Trac #5439: deal with the error-recovery case
     af7840e... Add a flag -fno-ghci-history
     d3a31e4... Increase the "context stack depth" to 200 (from 20)
     fe9d522... Fix a buglet in reification of tuples (fixes Trac #5452)
     68bcb13... Make Convert.thRdrName give a decent source locations (fixes Trac #5434)
     e9f5a88... More debug info on provenance with -dppr-debug
     faadd61... Two bugs in rnExports (fixes Trac #5445)
     0ccf2c3... Some minor wibbling in printing source locations
     000824d... Merge branch 'master' of http://darcs.haskell.org/ghc
     f5c0851... Backtrack on the wierd special case of data family exports
     de9b85f... Export a tiny bit more info with AbstractTyCon (fixes #5424)
     e45c35f... De-synonym the types of the abtracted term variables in SpecConstr
     26a1acb... Comments only
     bd6f5de... Fix two bugs in caes-floating (fixes Trac #5453)
     69ecb07... Link the de-synonym change to ticket Trac #5458
     8595c61... Eliminate isHiBootTyCon in favour of isAbstractTyCon
     be53e4f... Fix Trac #5455: be a bit more selective in mkSelectorBinds
     14f977a... Minor wording change
     6ffaf6f... fix the eager-blackholing check, which I inadvertently broke in 1c2f89535394958f75cfb15c8c5e0433a20953ed (symptom was broken biographical profiling, see #5451).
     0f0a3c9... fix GhcUnregisterised default, and add kfreebsdgnu to OsSupportsGhci (#5441)
     559f375... Add s390x to list of supported architectures
     fedb6a9... Add missing import (fixes #5460).
     6bad38a... Remove bogus isCoercionKind function and its sole use
     d982622... There are no predicate kinds in external core: remove Keq
     902d460... Fix handing of CoVars in SetLevels: it wasn't renaming occurrences of case-bound coercion variabes
     c02ff7c... Zap demand information if the simplifier reduces the arity: fixes CoreLint failure
     b98267a... Remove the "Ghastly special case" from dataTcOccs
     69cf252... Make an import unconditional
     9729fe7... Implement -XConstraintKind
     bad0252... Wibble in tickyDynAlloc (only affects -ticky)
     bfb7d73... Remove dead code
     80d1963... Minor refactoring of dsLCoercion, plus comments
     0bdafd5... ConstraintKind -> ConstraintKinds
     536359d... Add Constraint as a legitmiate tycon in Kinds
     aba74af... Comments and layout
     c4c9810... Nuke isCertainlyPredReprTy
     df05656... Whitespace only
     193ad9f... Added repack command to sync-all
     c2b1e0d... Correct a few typos
     7bde01d... Fix #5464: Change the way the extra bindings for the generic representation are generated.
     ced8474... Fix typos in comments
     e18f03a... Add deepseq as a core package
     6ff6895... Add deepseq as a core package; part of #5468
     967633d... Revert "Get rid of associated-type default declarations"
     de8c8d6... Implement associated type defaults
     4c35337... Documentation for associated type instance defaults
     4714d50... Merge branch 'master' of http://darcs.haskell.org/ghc
     1466b0c... Obey the exprArity invariants!  Fixes Trac #5441
     6529337... Merge branch 'master' of http://darcs.haskell.org/ghc
     4b17d74... Merge branch 'master' of http://darcs.haskell.org/ghc
     c2bd94c... Refactoring and code moving-around, following Max's AT-default patch
     ff94f97... Comments, and rename FactTuple to ConstraintTuple
     ffada1e... Record selectors should be Exported Ids
     99a52b0... Move exprIsConApp_maybe to CoreSubst so we can use it in VSO. Fix VSO bug with unlifted let bindings.
     b3bc5f4... Merge branch 'no-pred-ty'
     5c312b4... Merge branch 'master' of http://darcs.haskell.org/ghc
     4d7033d... Report bindings that cannot be vectorised
     e3f4a1b... Adapt vectoriser to disappearing PredTy
     a7ac381... Solve irreducible evidence from itself
     055c632... Whitespace only in basicTypes/Literal.lhs
     f5084f6... Fix warnings in basicTypes/Literal.lhs
     2818cfd... Whitespace only in codeGen/CgUtils.hs
     af536ac... Fix warnings in codeGen/CgUtils.hs
     7ca27dc... Fix associated type default instantiation check (#5481)
     4027a7d... When checking FFI types are IO, don't look through abstract newtypes; #3008
     1b4e251... GHC does build with Alex 3 now - remove the configure trap
     fdac48f... change how Integer's are handled in Core
     73aeb7d... Remove an old "ToDo" comment
     e610292... Remove some (probably bit-rotted) .NET cases
     e0e4288... Merge branch 'master' of http://darcs.haskell.org/ghc
     eecd53b... Fix integer stuff (fixes Trac #5485)
     99a6412... Tighten up the side-condition testing for deriving (again)
     7bfc28d... LLVM pre-mangler files should be considered cish
     b215384... Hack: add noCafIdInfo to shiftIntegerL and friends
     54ba453... Merge branch 'master' of http://darcs.haskell.org/ghc
     c782840... Correct a back-to-front coercion (fixes Trac #5490)
     3137073... Merge branch 'master' of http://darcs.haskell.org/ghc
     493146a... Add some missing dependencies; should fix make after re-configure
     259ea3e... Fix typo
     607537a... Gentoo's scanelf program found executable stack in many resulting binaries: * RWX --- --- home/prefix/gentoo/usr/lib/ghc-7.2.1/ghc * !WX --- --- home/prefix/gentoo/usr/lib/ghc-7.2.1/libHSrts.a:AdjustorAsm.o
     0a4537f... Fix etags output; trac #4256
     1e87c0a... Improve the handling of Integer literals
     908a62d... Whitespace only in hsSyn/HsImpExp.lhs
     5a369e7... Parenthesise type operators in -ddump-minimal-imports output; trac #4239
     9de6f19... In :load, call GHC.guessTarget on the new targets before unloading
     3db7572... Add support for all top-level declarations to GHCi
     222589a... fix bug in :show bindings when a variable is bound to an exception
     94e7c6b... move AvailInfo and related things into its own module
     01d7bc7... fix warnings
     fc80c87... show bindings in the order they were defined
     a29500f... add a ToDo
     730f6c6... Take account of the mk_integer in a LitInteger when computing CAF-hood
     24a2353... Add a transformation limit to the simplifier (Trac #5448)
     879c4a8... Comments and functions renaming only
     12d2089... A little refactoring of TcIface on LitInteger
     25881af... Move tcLookupFamInst, tcLookupDataFamInst from TcEnv to FamInst
     f3c7ed7... Implement GHCi command :kind! which normalises its type
     488e21c... Make a new type synonym CoreProgram = [CoreBind] and comment its invariants in Note [CoreProgram] in CoreSyn
     dac072b... Add some more Integer rules
     b45363e... Add a comment to CorePrep that it does the Integer conversion
     a21de08... Update to time 1.4
     e2496a8... Kind check associated type synonym defaults earlier to avoid <<loop>> in some situations
     c93690d... Fix #5464: Change the way the extra bindings for the generic representation are generated.
     8224782... Merge branch 'fix#5464' of http://darcs.haskell.org/ghc into fix#5464
     bbbcc83... Remove unnecessary import.
     58cb494... Code cleanup.
     5d7173f... Change the way IfExtName is serialized so (most) wired-in names get special representation
     7bfa46f... Whitespace only in deSugar/DsForeign.lhs
     f18e81a... Whitespace only in parser/RdrHsSyn.lhs
     7420670... Define a TraditionalRecordSyntax extension; fixes #3356
     9425555... Document TraditionalRecordSyntax
     f5073f9... Update docs: n+k is now disabled by default
     4faae22... Reenable a couple of assertions
     1b816bd... Whitespace only in coreSyn/CoreUtils.lhs
     564d0f5... Fix warnings in coreSyn/CoreUtils.lhs
     331e9e8... Whitespace only in ghci/ByteCodeLink.lhs
     3ed2e92... Fix warnings in ghci/ByteCodeLink.lhs
     b347eff... Document -fsimpl-tick-count
     9621959... Document :kind! in GHCi
     ba60fc6... Make Outputable.quotes do what the comments say
     817d1b0... Fix scoping for RHS of associated type decls (fixes Trac #5515)
     eaae6ca... A tiny bit more debug info
     9aa66e0... Eliminate alleged optimisation that means we bogusly did NoGen
     20548c9... Give a better error message for unterminated quasiquotations (fixes #5204).
     ce1f1cd... Tidy up the shape-checking for instance types (in instance and standalone deriving decls)
     3f5c0ad... Fix parenthesisation in conversion from TH.Exp to HsExpr.HsExpr
     600b557... Whitespace only in TcRnMonad.lhs
     53191d5... whitespace only in prelude/PrimOp.lhs
     5b98896... Handle newtypes and type functions correctly in FFI types; fixes #3008
     651cd99... Fix bindist finding gcc on OS X; fixes trac #5397
     d8d1617... Some CPP removal
     ac7a7eb... More CPP removal: pprDynamicLinkerAsmLabel in CLabel
     b5b1070... Fix build on OX X amd64
     317d107... Remove remaining CPP from cmm/CLabel.hs
     706e167... Whitespace only in cmm/CLabel.hs
     bd9e64a... Fix warnings in cmm/CLabel.hs
     c0d728b... Remove a debugging -w flag
     4fb23b8... Replace a -w flag with the more specific -fno-warn-deprecations
     b6532e9... Whitespace only in prelude/ForeignCall.lhs
     1a97815... Fix the Binary CCallConv instance
     48a5c1e... Fix warnings in prelude/ForeignCall.lhs
     2d00467... Fix validate with old bootstrapping compilers
     25f8f25... Fix typo
     aff9d69... Handle HValues slightly nicer
     1f56b6c... Comment out commutableOp; we don't use it at the moment
     b926bd6... Follow changes to HValue/Any handling
     3a9fddd... Comments and refactoring (probably breaks the branch)
     9fc03d3... Change error message slightly in response to Neil's suggestion on Trac #4877
     ec436fe... Remove unnecessary references to -fglagow-exts replacing them by the appropriate flag.
     acc2451... Refactor the implementation.
     3f50b5b... Merge branch 'master' into fix#5464
     cac1aa2... Fixed typo
     6361b7f... Update the "Known bugs and infelicities" section of the manual
     b84cece... fix Note cross-ref
     f4e534f... workaround for #5485: use -fno-full-laziness with 7.2.1
     093c87f... Build system commentary
     4830c8c... Some more refactoring.
     984419f... Fix dynCompileExpr
     cd39aea... Follow libffi update
     71f4f06... Wibbles from Simon and Pedro
     3572c11... Use a custom dead-code analyser instead of calling the occurrence analyser.
     25de0ab... Documentation for type/class declarations in GHCi (#4929)
     90d70e4... Allow foreign import declarations to the entered interactively in GHCi.
     8838983... Build fixes for OS X amd64 following libffi update
     6431f7c... Further refining the generation of Generic instances.
     5ac223a... Merge branch 'master' of http://darcs.haskell.org/ghc
     20705df... Silence "text reloc" warnings on OS X / x86
     a7be91a... Merge branch 'master' of mac:ghc/git/val32/.
     bcf55e0... Merge branch 'master' of http://darcs.haskell.org/ghc
     be6e231... Use -no_compact_unwind on OS X x86 (as well as x86_64)
     3aa2ee2... Merge branch 'master' of mac:ghc/git/val32/.
     29a97fd... Merge branch 'fix#5464'
     dba7254... Enable pthread_getspecific() tls for LLVM compiler
     6247b59... Add autoconf support to detect an LLVM-based C compiler
     fa278b8... Fully implement for VECTORISE type pragmas (non-SCALAR).
     f65bbbe... document the -H option
     7c9dc61... comment
     660568c... fix panic in string-gap lexing (#5425)
     79939a5... Always define rtsOptsEnabled in the "extra object" when linking
     36297a8... Dos to Unix file encoding
     2a9f420... Increase max simplifier tick count magic number (Trac #5539)
     b59fe25... Follow the removal of the Show superclass of Num
     bcab127... Include -optc options in mkExtraCObj (#5528)
     7c3b22e... Simplify the libffi build
     b7a2c9e... Merge branch 'master' of mac:ghc/git/val32/.
     08200cc... Fix ffi build on amd64/Linux, and simplify a little more
     85b0d3e... Don't hide the binary package
     0ffc2b2... Fix libffi build on Windows
     cdbd8ff... Merge branch 'master' of dippy:c:/msys/1.0/home/ian/ghc/.
     905048a... Fix some warnings
     2dd5bf5... Remove some CPP
     cc2a840... Remove some CPP
     f08fcf7... Whitespace only in codeGen/StgCmmCon.hs
     e66a58d... Remove CPP from codeGen/StgCmmCon.hs
     bdb0bba... Temporary hack to get Windows to validate again
     b15f7f3... Merge branch 'master' of dippy:c:/msys/1.0/home/ian/ghc/.
     7373a0a... Tweak a comment
     9964019... Whitespace only in codeGen/CgCon.lhs
     2e77595... de-CPP codeGen/CgCon.lhs
     e94e97a... Remove some CPP from nativeGen/SPARC/Ppr.hs
     7b44e51... Remove a little more CPP
     ceef80b... Remove CPP from llvmGen/LlvmCodeGen/CodeGen.hs
     4dd52f2... On non-Windows, go back to using the libffi dynlib for the dyn way
     cde9729... Pass Platform to pprExpr1
     d176f50... build registerised on ARM platform by default
     e91ed18... Whitespace only in simplCore/SimplCore.lhs.
     96c80d3... make CAFs atomic, to fix #5558
     926cadf... fix warning
     189f666... Remove cruft code from old Safe Haskell implementation method
     c532c16... Formatting wibbles.
     6f43ec8... Fix safe haskell warnings to include src locations
     c726526... remove some old files
     2615b58... Add -fpackage-trust flag to Safe Haskell.
     bf28158... Get Windows building dynlibs again
     7b6de59... Merge branch 'master' of http://darcs.haskell.org/ghc
     6a34205... fix value of this_mod passed to tcRnImports (#5545)
     c489af7... fix the object suffix when using TH with profiling (#5554)
     ae583f2... Move freeStablePtr() into the exported API (Lennart wants it)
     ead7857... Merge branch 'master' of http://darcs.haskell.org/ghc
     f75f26c... Remove OSUnknown
     2dea11a... Remove ArchUnknown
     077c207... Fix file permissions
     78df9af... Merge branch 'master' of http://darcs.haskell.org/ghc
     53f1414... Fix warning.
     5ab74eb... Revert "Remove ArchUnknown"
     013a3e3... Revert "Remove OSUnknown"
     c397c89... Revert "Move freeStablePtr() into the exported API (Lennart wants it)"
     ddd3c51... add info about pulling changes (#5562)
     38c8b56... Put the target platform in the settings file
     7ef5b29... Merge branch 'master' of http://darcs.haskell.org/ghc
     a6f9ebc... Add "have subsections via symbols" to the Platform type
     723929b... Remove all Haskell conditionals on HAVE_SUBSECTIONS_VIA_SYMBOLS
     7dd60dd... Convert the HAVE_GNU_NONEXEC_STACK conditional into Haskell
     bc87620... A little more CPP removal
     6067f95... FIX BUILD on OS X 10.5: Check whether ld understands -no_compact_unwind
     e732d9d... Remove unused elf_OBJ_FORMAT #define
     a3c13fd... Remove some legacy code
     60bbfc0... Some CPP removal
     1269e05... Follow change in FFI import decls
     fb83cd0... Finish fixing #5529: Require that constructors are imported from all types
     6d5dfbf... Be even more careful about eta expansion when bottom is involved
     8f3f417... Refactor the way in which type (and other) signatures are renamed
     d242c87... Print simplifier statistics in simplifyExpr as well
     bcd8fdb... A little more refactoring, triggered by the fix to Trac #5545
     2ad79aa... Echo the Haddock command line, to make deugging any crash in Haddock easier
     ca380cd... Recover proper sharing for Integer literals
     7c8921e... Make sure the arg and result of ($) have kind *
     3caef68... Merge branch 'master' of http://darcs.haskell.org/ghc
     b653231... Fix kind-checking for unboxed tuples (fixes Trac #5573)
     5ff06e9... Implement relaxed superclass cycle check
     2e72a85... Correct the manual to use ConstraintKinds rather than ConstraintKinds
     f676504... Brief documentation about relaxed superclass cycle check
     3b43e03... Follow cabal->Cabal rename, and fix haddock index generation
     611c2c3... Remove a redundant #ifdef DEBUG
     d73ecf2... Some DEBUG CPP removal
     0b975fd... Remove half the CPP from nativeGen/PPC/Ppr.hs
     3a4baaf... Finish removing CPP from nativeGen/PPC/Ppr.hs
     d02a435... Correct a comment
     1bc0c56... More CPP removal
     1f52e5f... Eliminate a couple of IF_ARCH_i386's
     cc78710... Remove unused IF_OS_* CPP definitions
     86f65fd... Remove unused CPP definitions of COMMA
     50b33e3... Eliminate all uses of IF_ARCH_i386, and remove the definition
     8f16b3c... Merge branch 'master' of http://darcs.haskell.org/ghc
     4fdd29a... Add note about superclass cycle check
     f4d37f0... Comments only on superclass cycle check
     f9f0b08... fix race condition in yieldCapability() (#5552)
     321ceb4... Increment the line number correctly in GHCi
     1d1cf4a... Give a correct SrcSpan to 'it' (#5564)
     0d6529f... delete shadowed entries from tcg_rdr_env (#5564)
     c64926f... Comments only
     b9b5f4c... Associated type defaults work only for type *synonym* defaults
     af457be... Layout only
     02779cb... Merge branch 'master' of http://darcs.haskell.org/ghc
     ce6e163... Comments and layout only
     a1448ec... Make the matching in PrelRules "look through" unfoldings
     03d4597... Merge branch 'master' of http://darcs.haskell.org/ghc
     0eae68c... Tabs -> spaces
     eb79328... Tabs -> spaces
     a637e09... Tabs -> spaces
     9ada6542b. Tabs -> spaces
     3bbd226... Vectoriser gets all DPH library identifiers from Data.Array.Parallel.Prim
     cc3c2bd... Fix Haddock dependency on library archive
     95d6696... Fix infinite loop in PredTYpe size checking (#5581)
     570cab3... Make GHCi :kind commane work again
     0fac50a... Merge branch 'master' of http://darcs.haskell.org/ghc
     b8f6ca6... Remove some CPP
     b214d1c... Unconditionally derive some instances
     53b63e3... Comments only
     e79aef9... Enable dynamic libraries on OSX amd64
     e6dfe15... Merge branch 'master' of http://darcs.haskell.org/ghc
     18d2dab... Setup new Safe Haskell interface
     bb0eb57... More updates to Safe Haskell to implement new design (done!).
     1d6c2cf... Add some documentation to IOEnv.
     4e2121f... Fix some validation errors
     c8d3f44... Verify that I can still add tabs to a file already containing them
     f9c2157... Rename traceCapsetModify for consistency and clarity
     17c1662... Delete some old Win9x C code
     ece21ea... Add rts time util getUnixEpochTime
     4856d15... Add new eventlog EVENT_WALL_CLOCK_TIME for time matching
     d690592... Add a clock domain capset and emit wall clock time on rts init
     4f79205... Fix typo
     b558599... Revert "Fix some validation errors"
     0f51b3e... Revert "More updates to Safe Haskell to implement new design (done!)."
     115b3df... Merge branch 'master' of mac:ghc/git/val32/.
     7437af6... fix#5380: arrows if command given too general a type
     6f5b798... Merge branch 'master' of http://darcs.haskell.org/ghc
     aaaaf67... Add an RTS eventlog tracing class for user messages
     2daa3bd... Remove +RTS --help text for -De flag which no longer exists
     43a9271... Use signed comparison for +RTS -N x <= 0 test
     8c7ad0b... Change what +RTS options are available by default
     6dfd901... Allow the -t -T -s -S flags (without <file> arg!) in -rtsopts=some mode
     f2e8f5d... The Types inside an OutCoercion are *not* InTypes
     a39afe4... Tabs -> spaces
     b03e62f... Tabs -> spaces
     44334d4... Tabs -> Spaces
     585c354... Tabs -> spaces
     f05b36d... Tabs -> spaces
     c439818... VECTORISE pragmas for type classes and instances
     d518e8f... Fix recent rts flags changes on windows
     82cd019... Fix duplicate type signature error (ticket #5589).
     bfbea5e... Fix warnings and whitespace in HsBinds.
     3955077... Fix unused var warning on windows
     0809400... Minor refactoring only
     20b3049... Merge branch 'master' of http://darcs.haskell.org/ghc
     f142a2c... Fix some validation errors
     9241aa0... More updates to Safe Haskell to implement new design (done!).
     7940781... safe haskell wip
     7301baf... Tweak to doc for DynFlags
     cb4423b... Some fixes to BreakArray
     a4eb906... Formmatting fixes to CmdLineParser
     e42cb74... Remove tab
     1a5d84b... Change HscMain from lhs to hs.
     f0ae3f3... Big formatting clean of HscMain
     a9ce361... Change stack alignment to 16+8 bytes in STG code
     521157f... Ignore stdcall c-call in native codegen on x86_64
     0f6ab77... Fix Trac #5592: unused-import warnings with dot-dot notation
     150d292... Merge branch 'master' of http://darcs.haskell.org/ghc
     4921136... Add a base size when computing max-ticks, to deal with very small programs (like zero)
     d4c20a1... For the location on a record selector binding, use the location of the record selector identifier in the data declaration.  Previously the location was pointing to the TyCon in the source, which was clearly wrong, and the new way gives more useful information from HPC: if a record selector is never used, the markup will shade the identifier yellow.
     649f3b0... Don't generate stg_ap thunks when profiling, it loses information (#949)
     49c01f4... minor bugfix for 'make re2' etc.
     d0226eb... fix for a deadlock when using +RTS -hb with -prof -threaded
     e3143e8... fix doc bugs
     0047d2c... add BangPatterns, we're starting to use them a fair bit
     bd72eeb... fix time calculation for retainer profiling
     7bb0447... Overhaul of infrastructure for profiling, coverage (HPC) and breakpoints
     baa5767... Improve pretty-printing of BCOs (-ddump-bcos)
     be9e727... simplTick: push type-applications and casts inside ticks.
     2c7699a... unknownNameSuggestErr: don't panic if we find Ids with UnhelpfulSrcSpans
     78f5175... fix BCO_GET_LARGE_ARG (seems to be completely wrong)
     f6fb053... Get label calculations right when we have long (>16 bits) offsets
     78eadcc... fix disassembling of large instructions
     b0e4b41... Fix gratuitous code duplication in the byte code generator
     515728a... remove tabs again
     2bc8a7b... fix configure's generation of settings file on ARM platform
     109546c... Add format-patch support to sync-all
     b30c601... Fix build
     5ee8081... Clean up and complete the vectorisation of type classes
     b41d625... Make sure to look items from D.A.P.P properly up in the HPT
     76b5d7a... Improve -ddump-deriv output for Generic instances
     3b54113... disable debugging trace
     f699ccb... disable a debugging trace, and a little refactoring
     76bce1b... Merge branch 'master' of /home/simonmar/ghc-mirror/ghc
     32feee4... drop SCC on a variable when it has a non-function type
     d416d94... be specific when importing Data.Typeable
     c739d84... Add eventlog event for thread labels
     da11a22... fix #5602: (<+>) example in User's Guide
     ed26b47... Merge branch 'master' of http://darcs.haskell.org//ghc
     1df1986... Use -fwarn-tabs when validating
     659d5d0... Improve optimisation for ticks
     70f631e... Merge branch 'master' of http://darcs.haskell.org/ghc
     baab7c1... Correctly handle safe inference in Safe Haskell.
     99cf71c... remove duplicate comment
     b994313... addDependentFile #4900
     3f8023d... Clarify some comments
     676a204... Remove some out-of-date comments
     5fc9ac6... Fix bitrotted NCG_DEBUG code, and switch to using a Haskell conditional
     d09e2b7... Finish de-CPPing CmmOpt.hs
     6caaf5f... Fix warnings in cmm/CmmOpt.hs
     8b8c7f4... Fix warnings in deSugar/DsGRHSs.lhs
     0f669ab... Fix warnings in deSugar/DsExpr.lhs
     0dafee2... Fix stage1 warnings
     be6c277... Whitespace only in typecheck/TcSplice.lhs
     fc1aac6... Fix warnings in typecheck/TcSplice.lhs
     e37c054... Fix warnings in StgStats
     017897c... Merge branch 'dependent7' of https://github.com/gregwebs/ghc
     ab9e7e3... Give a better error for uses of R11, R12, ...; trac #5422
     d535ef0... Allow the use of R9 and R10 in primops; fixes trac #5423
     e5ccc92... Whitespace in coreSyn/CoreFVs.lhs
     2a62d60... Warnings already seem to be fixed in coreSyn/CoreFVs.lhs
     e369e41... Whitespace in deSugar/DsListComp.lhs
     b78f0f1... Fix warnings in deSugar/DsListComp.lhs
     770f3fb... Whitespace in deSugar/Check.lhs
     bbf353b... Fix warnings in deSugar/Check.lhs
     7408248... Whitespace in hsSyn/HsPat.lhs
     69e1883... Warnings appear to already be fixed in hsSyn/HsPat.lhs
     899af3a... Whitespace in simplStg/SRT.lhs
     6d9dfcc... Fix warnings in simplStg/SRT.lhs
     1ece7b2... Fix validate by moving OPTIONS -fno-warn-tabs Validate fixed for Mac OS X 10.5 and Linux. For both: compiler/nativeGen/PPC/Instr.hs compiler/nativeGen/SPARC/Instr.hs failed to (stage1) build. For Mac OS X, but mysteriously not for Linux: compiler/basicTypes/Id.lhs compiler/basicTypes/Name.lhs failed during haddock'ing.
     630b895... Cost centre names are now in UTF-8 (#5559)
     881b71a... Improve user's guide doc for associated type defaults
     0a5d084... Fix up Safe Haskell handling of FFI imports
     1608b17... Fix core-lint bug in GHCi
     81e29e4... get the column widths right for Unicode SCC labels/modules
     2babc2a... Flush stdout and stderr during hs_exit() (#5594)
     fc2b90f... fix markup
     efcbe14... update docs regarding .a files and GHCi (#3345)
     f647fd5... Fix the libffi ln handling on cygwin
     48c3995... Fix handling of safe imports in inference mode
     44d999b... Documentation and formatting of Vectorise.Utils.Poly
     9097e67... First cut at scalar vectorisation of class instances
     7231f88... Wibbles
     c4874d4... Throw error if safe imports used when safe haskell isn't on
     89caa97... Spaces -> Tabs
     45580e3... Some code cleaning
     099bd6f... Include package_flags in allFlags list.
     dad0d22... Close some handle leaks (#5604)
     2231a7a... add -u flag for the new flushStdHandles reference
     aa56423... added NOUNPACK pragma (see #2338)
     2bac340... fix dynamic way on Win32 (missing bits from flushStdHandles changes)
     6791fff... Remove now-unused libffi/package.conf.in
     b8abb31... Fix Trac #5475: another bug in exprArity
     80f57ea... Comments only
     2d5a1a5... Merge branch 'master' of http://darcs.haskell.org/ghc
     f96db3c... Establish the invariant that (LitAlt l) is always unlifted
     413c249... Clean of HscTypes
     5b654b4... Tabs -> Spaces
     a2ac3dd... Clean of BinIface
     8a86a53... Formatting fixes
     cbc0ff0... Tabs -> Spaces
     49c8256... Add header doc to MkIface
     a238104... Add a comment for safe haskell
     55991bf... Fix #437: recompilation check includes flags
     0bfe5c0... GHC is now independent of the DPH library structure
     40b2a22... Remove the -fdph-* flags
     9df7f9b... Add more flags to the recompilation check (#437)
     9911951... zap arity and strictness info when we wrap a bind with mkTick
     b94b806... validate: add -dcore-lint to stage2
     a77a68e... Give sub-binders different fingerprints (#5614)
     fd74243... Remove cruft code from FlagChecker
     17e9e85... Merge branch 'master' of http://darcs.haskell.org/ghc
     09015be... New kind-polymorphic core
     ed63eae... Merge branch 'master' of http://darcs.haskell.org/ghc
     f8aac1d... Better kind error messages from TcCanonical
     3b0e507... Restore file mode
     86a2667... Close the handle for the ticker thread (#5604)
     17f6f46... add comment noting when we can remove a hack
     58803d7... Normalise FilePaths before hashing (fixes base01)
     d523215... Merge branch 'master' of http://darcs.haskell.org/ghc
     0a7f337... Comment only
     c09cbb3... Minor refactoring
     06229a8... Make exprOkForSpeculation more modular (and self-consistent)
     a522c3b... Tighten up the definition of arityType a bit further, to make Trac #5625 work.  The main change is that we eta-expand (case x of p -> \y. blah) only if the case-expression is in the context of a \x.  That is still technically unsound, but it makes a big difference to performance; and the change narrows the unsound cases a lot.
     4795040... Make certainlyWillInline more conservative, so that it is never true of thunks.  Otherwise the worker-wrapper phase can make a thunk into an unconditionally inline UnfWhen thing, which is Very Bad Thing.  Shown up by Trac #5623.
     3516630... Build system wibbles for new dph-lifted-vseg library
     dc22203... build system: set dph-lifted-base to be a dph package
     b2f995d... Fix loading VectInfo for type constructors
     c2214c9... Maintain the mapping of class selectors in 'VectInfo'
     ec23c89... Improve vectorisation warnings and errors
     23f4b6e... Include superclass selectors in the vectorisation map
     813596c... vectoriser: comments to PRepr and get PDatas TyCon from environment
     b408ba7... vectoriser: get the PDatas instances for products in PRepr
     bc752fb... vectoriser: tabs -> spaces in PRepr
     187bb54... Fix type of vectorised class data constructors and add dfuns into 'VectInfo'
     4a7117c... vectoriser: shift modules about the generic representation into their own dir
     b400e86... vectoriser: formatting to PAMethods and start adding PDatas cases
     e4b4159... vectoriser: refactoring and cleanups for PRepr
     21e8413... vectoriser: build instance tycons for the PDatas family
     2bc999c... vectoriser: shift PData module to generics dir
     beb1834... Whitespace only.
     e944915... Use mapAccumL when performing kind and type instantiation
     652e3cb... fix profiling bug in copyArray#/cloneArray# (cgrun068(profasm) segfault)
     c29c28a... -fprof-auto-top: eliminate some bogus extra SCCs we were adding
     d2729dc... wrapTick: don't wrap HNFs (see comment)
     6696237... Don't try to float bindings through ticks
     e37893c... +RTS -xc: print a the closure type of the exception too
     01fa3bc... Add another trace to Simplify (commented out usually)
     2686c83... Merge branch 'master' of http://darcs.haskell.org/ghc
     295e050... vectoriser: make PA PDatas instances for prod types work
     87748ac... vectoriser: Wraps tycon isn't used during vectorisation
     a589d9d... vectoriser: support tuple constructors up to arity 5
     71fee32... vectoriser: export PDatas data constructors
     1d47564... Don't discard ticks on literals (fixes the HPC "tough" test)
     b04cc4c... Avoid generating chains of indirections in stack squeezing (#5505)
     9562f18... further fixes to the #5505 fix.
     078b891... Fix Trac #5628: equality on data types with no constructors
     defcf2a... Improve documentation of SPECIALISE pragma
     a1b8e54... Merge branch 'master' of http://darcs.haskell.org/ghc
     40a3361... Replace unused variable with "_"
     04de986... Further wibbles to calcUnfoldingGuidance, with documentation of same
     02ac297... Fix CaseIdentity optimisaion
     9c48a3c... Formatting fix
     1790dbe... Add -fpedantic-bottoms, and document it
     1df28a8... Generate the C main() function when linking a binary (fixes #5373)
     e7b42bd... Create parent directories when touching the object file (#5584)
     1bbb89f... Make the --fast option to validate faster, and add --normal
     bea3992... Doc changes following changes to the way -rtsopts works
     66265ae... Fix trashing of the masking state in STM (#5238)
     07f6af7... Give a warning when -rtsopts/-with-rtsopts are used with -no-hs-main
     0007c0e... GHC gets a new constraint solver. More efficient and smaller in size.
     747e27e... Merge branch 'master' of http://darcs.haskell.org/ghc
     4aa6262... Add dependencies on all .hs-boot TyCons in rnTyClDecls
     33f8608... Better error messages when we know the expected kind in tcHsSigType
     e20884b... Minor fix, and transform a failure into a warning
     7dfc320... Better documentation for AnyK
     e589a49... Changes to the kind checker
     2da8a4d... Move mkPiTypes back to Type, rename mkForAllArrowKinds to mkPiKinds
     78ee293... Fix mistake in user guide
     14bbdda... Add Safe Haskell '-fwarn-safe', '-fwarn-unsafe', '-fno-safe-infer' flags
     4a5efba... Tabs -> Spaces + formatting fixes
     ed4252c... Remove executable mode from some files
     e194712... Merge /Users/benl/devel/ghc/ghc-head-devel
     6096edb... vectoriser: follow constraint solver changes in vectoriser
     3b045c3... vectoriser: mkCast args the other way around, and fix warning
     4902a27... vectoriser: Use Sels2 type for vector of selectors in PDatas Sum2 instance
     b4d08f1... Merge /Users/benl/devel/ghc/ghc-head-devel
     5cfc268... Removing the default grouping clause from the SQL-like comprehension notation ;
     8a1c644... Fix #4211: No need to fixup stack using mangler on OSX
     a94a893... Tabs -> spaces & other white space
     5d70c12... Special case dictionary abstraction and application during vectorisation
     7d9dfd53.. Warning police
     207a2a6... Remove a quadratic complexity blow-up in coercionKind thereby fixing Trac #5631.
     402a1da... Make DsMeta work right on tuples (cf Trac #5597)
     ae37bd8... Merge branch 'master' of http://darcs.haskell.org/ghc
     602ac64... Add a getStablePtr for flushStdHandles_closure
     16a7d5b... Add some missing top-level SCCs
     951c3e2... GhcProfiled: don't automatically add -auto-all
     24d630a... Fix panic (missing keepWanteds) in simplifyApprox
     305f6e3... Merge branch 'master' of http://darcs.haskell.org/ghc
     93e0890... Tabs -> Spaces + formatting fixes
     96daec0... Better documentation for stack alignment design
     62a34c7... Fix the vectorisation of workers of data constructors
     13607ad... Tweak to pretty printing for UsageFile
     3b3fd56... The "Linking" message should go through compilationProgressMessage
     3f34e09... Track #included files for recompilation checking (#4900, #3589)
     668c860... Add -dumpdir flag; fixes trac #5198
     51ac19a... Create the directory for dump files to be put in
     4104a61... hscParse: do not record a dependency on non-existent source files
     ccfbfda... fix new warnings with gcc 4.6
     6b6b25a... Merge branch 'master' of http://darcs.haskell.org/ghc
     c01a23d... Update for a mutable localeEncoding
     6024e9e... Merge branch 'master' of http://darcs.haskell.org/ghc
     0428417... Remove a redundant tabs warning kludge
     80e9070... Improve the way we call "rm" in the build system; fixes trac #4916
     be879ba... Add branch command to sync-all
     f7d99de... Simplify a regexp and improve a couple of comments
     11fcb10... Fix #5636: Use clang as assembler on OSX when LLVM >= 3.0
     5e5d2ba... Fix bug in the handling of TSOs in the compacting GC (#5644)
     18c7aea... Rename ? to OpenKind and ?? to ArgKind
     4296552... Replace EkCtxt by an SDoc
     7ef48ca... Improve code generator documentation.
     5d55dfe... Turn on LLVM backend if 'keep-llvm-files' flag specified.
     d6c2ffd... Improve documentation on backends
     0c9427c... Add doc for -msse4.2 flag.
     8e6990a... vectoriser: fix pvoids problem when vectorising enumerations
     b4036c3... Update Safe Haskell documentation for new design in 7.4
     34053bb... Merge /Users/benl/devel/ghc/ghc-head-devel
     f963d26... Don't add the -x flag to ld when joining object files
     841496c... Do not wrap Coercions with ticks (fixes GADT3(profasm))
     a5762b7... fix warning
     d681f87... merge
     ed04377... uType_defer: only call mkErrInfo if -ddump-tc-trace is on (#5631)
     602545a... Tweaks to safe haskell documentation.
     508d8e0... Better document the driver pipeline.
     1f9ca81... Enable '-split-objs' with llvm backend
     3475561... Tabs -> Spaces + cleaning
     024216e... Fix warnings in ByteCodeItbls
     e3619c9... Remove some old comments about the mangler
     a53cd3f... Tabs -> Spaces
     95768f4... Tabs -> Spaces
     610e424... Tabs -> Spaces
     5893cab... Formatting of PprC
     1c9af85... Fix missing primop in PprC
     7b594a5... Remove registerised code for dead architectures: mips, ia64, alpha, hppa1, m68k
     53a1698... Specify unsupported ops, don't just use a catch all
     af7e12f... Formatting fixes
     cae1746... Explicitly handle unsupported Cmm prim ops.
     f1a6a5c... Formatting fix
     5cab336... Tabs -> Spaces
     cffb760... Drop ".exe" exetention from eventlog file name
     b1b49b8... Fix comments.
     838d544... Merge branch 'master' of http://darcs.haskell.org/ghc
     aa55fdc... Formatting fix.
     c21ddff... Show LLVM mangler and code gen passes at v2
     af2b9ab... Clean up LLVM Mangler.
     98091a8... Add '-dno-llvm-mangler' flag for debugging purposes
     1953774... Fix compilation error in unreg mode
     dc4235b... Don't warn about not vectorised type synonyms
     122629e... Fix and clean up 'PData' and 'Wrap' usage of the vectoriser
     128078e... Keep the flag lists as IntSets rather than lists
     922176f... Use mkAppTys, not foldl AppTy, which was utterly wrong
     8ff4487... Fix build on Windows
     131a0af... Checking UsageFile: don't fail if the file doesn't exist, just recompile
     449ab24... Decode escape sequences properly in line pragmas (see comment for details).
     0e275ec... Remove unused cRelocatableBuild
     70bccc1... Merge branch 'master' of http://darcs.haskell.org/ghc
     6d9c9af... fix warnings (validate was failing on i386)
     9f24caa... Fix bug in flushStdHandles()
     cfcf0a5... Merge branch 'master' of http://darcs.haskell.org/ghc
     814d864... Support "phase control" for SPECIALISE pragmas
     27393f4... Replace a couple of "rm -rf" invocations with $(call removeTrees,...)
     86255c6... Fix userguide markup
     5342d62... Whitespace only in glasgow_exts.xml
     3e8303c... copyFileWithHeader: write the header in UTF-8
     1eedbc6... Fix the filename passed to unlit (see comment for details)
     c6b0fd6... Relax the restriction on using abstract newtypes in FFI declarations.
     caa2863... Fix markup (non-validate-breaking)
     633848f... Fix sdist creation
     4379226... Update the sdist VCS exclusions
     114cfc0... Fix a few typos
     3a907bf... Merge ../bghc
     498467c... Fixes for NetBSD
     ee2dad1... Keep unicode characters in Haddock comments and comments in the token stream.
     18aae18... Fix newtype wrapper for 'PData[s] (Wrap a)' and fix VECTORISE type and instance pragmas
     6b10985... Time handling overhaul
     2639f40... Whitespace only
     af8897a... Fix kind checking of tuples
     912eaca... Less kinds in error messages
     381becf... Initial documentation for -XPolyKinds in the user's guide.
     7ec83bc... Add GC command to sync-all.
     774ad4b... Document that sync-all supports gc
     fdf98d6... Merge branch 'master' of http://darcs.haskell.org/ghc
     db91c0d... Move vectorisation of (->) & [::] into the library
     6a9800a... Only call deSugar from one place
     a40d256... Small refactoring: Turn a needlessly monadic binding into a let binding
     20789b8... Whitespace only in codeGen/StgCmmForeign.hs
     1ed5d70... Whitespace only in codeGen/CgForeignCall.hs
     9bebd4e... Remove a tabs kludge
     4b9be1d... Small refactoring
     b60992f... Record ValidateSpeed and ValidateHpc in mk/are-validating.mk
     124bad8... Don't list sortBy as a good consumer; fixes trac #5473
     e99f323... Add missing cases in TcUnify.uUnfilledVars
     3275b7b... Pass "--hash-size=31 --reduce-memory-overhead" to ld; fixes trac #5240
     9ccb59e... Test whether ld flags exist before using them
     df43fcd... Fix document to follow renaming -XPArr to -XParallelArrays
     f7cf3dc... Be a bit less gung-ho in exprIsConApp_maybe
     878206f... Comments and white space only
     e704a95... Don't indirection-zap a function that has a stable unfolding
     fc21cd1... Remove out of date new_tc_notes
     183ae76... Remove out of date Simon-log
     e8c8827... Remove obslete NOTES file
     57d657a... Allow the quotes to be omitted in {-# SCC "<varid>" #-}
     f3183d9... This patch includes: 0) Typo in panic message. 1) prioritization of equalities over family equalities in the worklists. 2) rewriting of inert substitutions and solveds on-the-spot instead of    kicking them out in the inerts. This required a monadic map over    substitutions hence the modifications in UniqFM. 3) Just comments and removing stale commented code.
     4bc84da... Solved goal caching and zonking optimisations.
     cae9168... Implemented -dsuppress-var-kinds flag to remove silly kinds when dppr-debug is on.
     e544930... isReflCo no longer reliable for detection of type identity.
     825e0a3... Merge branch 'master' of http://darcs.haskell.org/ghc
     36f8cab... Implement a capi calling convention; fixes #2979
     e26443e... Merge branch 'master' of http://darcs.haskell.org/ghc
     4aa0a2d... Reintroducing isReflCo optimization: invariant that evVarPred.cc_id must be equal to ctPred needs no longer be true.
     7d13e50... Merge branch 'master' of http://darcs.haskell.org/ghc
     9ad4f0b... Switch around the order of guards in exprIsConApp_maybe
     cbe2416... Get rid of the "safety" field of CmmCall (OldCmm)
     1c2b838... stg_enter_checkbh: fix offsets for profiling
     e332180... White space only
     50de603... Make profiling work with multiple capabilities (+RTS -N)
     f44f725... Another fix to the stg_enter_checkbh frame
     1ed0dfa... doc update: -prof now works with +RTS -N (with caveats)
     1f7433b... Add a new primop: getCCCS# :: State# s -> (# State# s, Addr# #)
     ac11b1f... Refactor (again) the treatment of record-selector bindings
     b41a351... Merge branch 'master' of http://darcs.haskell.org/ghc
     e4d87e1... Insufficient rewriting during flattening. This fixes #5668.
     42e3b5b... Merge branch 'master' of http://darcs.haskell.org//ghc
     aee8fe2... Improve the checkremove util
     0d8130d... Merge branch 'master' of http://darcs.haskell.org/ghc
     b0cf532... Merge branch 'master' of http://darcs.haskell.org/ghc
     2d634b8... Fix libffi depfile creation on Windows: Use -MD rather than -MMD
     2d68dbb... Merge branch 'master' of http://darcs.haskell.org/ghc
     53055bb... Turn a bunch of ints into longs to avoid overflow (#5656)
     b35a12a... remove obsolete notes (#5660)
     1fc25df... Further tweaks to the ccs primops
     f85c084... Include a stack trace in the panic message, when GHC is compiled profiled.
     cdbb472... Fix cmd invocation by libffi cuild system on Windows 7 cygwin
     b3e3044... Fix parsing of OPTIONS*/LANGUAGE pragmas in haddock mode
     529b0ae... Add missing newline in RTS help output.
     63e49e1... Fix potential crash on Windows: off-by-one in malloc()
     1d012e3... loadArchive: need to allocate executable memory on Win32 (#5371)
     6d18141... Fix a scheduling bug in the threaded RTS
     b2d3c55... Forgot an initMutex(); fixes profthreaded failures on Windows
     6f4bde1... remove unused coreExprCc
     1469f1e... More changes aimed at improving call stacks.
     2694bb7... Use touchy rather than touch when building on Windows
     e872312... Move includes/DerivedConstants.h and includes/GHCConstants.h into dist dirs
     1c400aa... MAKE_RESTARTS should never be higher than 1
     11a614f... Fix header installation
     9fd5a2c... Remove unused install_headers and INSTALL_HEADERS
     4fb3903... Merge branch 'master' of http://darcs.haskell.org/ghc
     fe05c02... Remove some unnecessary touch's
     90d2acd... Add CCS for llvm
     f14953e... Formatt wibble
     7626b2b... Fix ugly complexity issue in LLVM backend (#5652)
     30361d1... Add SCC for LLVM code output
     a5aea1a... Remove old mangler comment
     f8b4696... Remove dead function.
     9a0adc0... Remove unused import
     1a8c2bb... Clean includes/GHCConstants.h includes/DerivedConstants.h
     9911ec5... Merge branch 'master' of http://darcs.haskell.org/ghc
     bed4ec5... Make TypeMap an instance of Outputable
     22b317b... Comments only: EqVar vs Covar
     2e6dcdf... Allow full constraint solving under a for-all (Trac #5595)
     eb21a97... Merge branch 'master' of ../HEAD
     ac4b376... Merge branch 'master' of http://darcs.haskell.org/ghc
     fe60dd4... Fix trac # 5486
     237159c... Code generation: Always ask for result of newSpark
     657773c... Fix #5658: mark all array indexing primops as can_fail
     8b75acd... Make forkProcess work with +RTS -N
     92e7d6c... Allow the number of capabilities to be increased at runtime (#3729)
     590988b... Tabs -> Spaces + Formatting
     782d220... Improve the space usage of checkremove
     021a0dd... Add new primtypes 'ArrayArray#' and 'MutableArrayArray#'
     c4fb520... Take into account -fprof-auto-*
     eea4032... Improve optimisation in the presence of SCCs (fixes #5363)
     8b48562... Define getNumberOfProcessors() even when !THREADED_RTS
     3640d37... Detect cases where as(1) doesn't recognise .ident directive (#5408)
     616b669... Resurrect UseLibFFIForAdjustors from bitrot.
     72bfc81... Merge branch 'master' of http://darcs.haskell.org/ghc
     606f6e1... Fix silly bug in casMutVar#: I forgot the GC write barrier
     f26546b... Merge remote branch 'phonohawk/patch-5408'
     18d3391... Fix Windows build
     4bc413d... Fix a real bug, exposed by my recent change to the rts_evalIO() API.  Yay!
     edc4543... Merge branch 'master' of http://darcs.haskell.org/ghc
     5239074... Remove unused Interval module.
     3eb443b... Fix comment in CgMonad
     6353ae0... Allow type signatures in instance decls (Trac #5676)
     acbb3db... vectoriser: workaround bug in classiftTyCons
     34ab89a... Comments about orphans
     88cd0d1... Make derived functor stuff watch out for type functions (Trac #5686)
     883544b... change a contextSwitchCapability() to interruptCapability()
     fa168a3... remove duplicate getStablePtr (already done in hs_init())
     8792391... Add a mutex around stg_sig_install
     56a0529... Add comments about the meaning of can_fail and has_side_effects
     77c9cf6... Add diff command to sync-all
     2825685... Bump version number to 7.5
     9c6191d... Correct tidying of VectInfo; fixes #5613
     f361281... Do not emit the THREAD_RUNNABLE event; it has no useful semantic content
     c9f84e1... add some SCCs
     5c1fbb4... some small optimisations
     55d7931... waitForGcThreads: should be calling interruptCapability(), not interruptAllCapabilities()
     a02eb29... New flag +RTS -qi<n>, avoid waking up idle Capabilities to do parallel GC
     d95a7f1... Avoid integer overflow when calling allocGroup() (#5071)
     83030e7... Merge branch 'master' of http://darcs.haskell.org//ghc
     0f34f30... Document the "kind invariant", and check it
     626cf6b... Document typechecking of pattern bindings
     bb64338... Spelling correction in comment
     66b047e... Towards fixing Trac #5664
     40dd50a... Add a comment about oddity with yieldThread() and timing results on Linux
     6a8bdf3... add a missing error check
     011d6f9... Fix for a bug in +RTS -qi (crash in zero_static_object_list)
     f25dc05... Fix for a bug in setNumCapabilities
     b9a7206... $(rts_H_FILES) should contain .h files in subdirectories of rts/ too
     4c6dda0... HEAD now requires GHC >= 7.0 to bootstrap
     3ab407a... Fix users_guide markup
     64caa89... Revert "vectoriser: workaround bug in classiftTyCons"
     856de82... Fix -ddump-tc-trace for recursively defined type constructors
     0ea8f32... Be more careful when deciding which functions are scalar
     ac051fc... Export CoreModule(..) (#5698)
     dff852b... Fix a memory allocation bug (rts_argv wasn't big enough)
     bd13338... Exposing a useful assertion which was hidden inside a lazyness cloud.
     9bae791... Support for reducing the number of Capabilities with setNumCapabilities
     3d7e772... Fix a path, and strip out C++ comments too
     e8c93ad... Merge branch 'master' of http://darcs.haskell.org//ghc
     40ef62f... Remove some dead code
     e328942... Better failure with promoted kinds in TH
     b2d27e4... Fix a bug in TcCanonical (Dimitrios spotted)
     0c41d67... Fix scalar vectorisation of superclasses and recursive dfuns
     24b3137... Merge branch 'master' of http://darcs.haskell.org/ghc
     826b75a... Add numeric types to the parsing part of the front end.
     7c2af5c... Extend GHC's type with a representation for type level literals.
     6486732... Merge remote-tracking branch 'origin/type-nats' into type-nats-merge
     e980df9... Add some missing cases for type literals.
     b7c1a7a... Merge branch 'master' into type-nats
     d6705e9... Remove tabs, so that I can push.
     ca6a358... Fix the implementation of the type literal trie.
     42186dd... Remove tabs, again.
     b4018aa... Fix alignment in the CostCentre struct (#5710)
     f542da4... Hide STG register declarations for LLVM C compilers
     c1a30d7... Fix typo
     0c047a8... Remove an old hack for bad FilePath behaviour
     06c6d97... Add a class HasDynFlags(getDynFlags)
     b442c07... Make getDynFlags* functions use HasDynFlags/getDynFlags too
     c492e50... Tidy up pretty-printing for variables
     a1d5886... Merge branch 'master' of http://darcs.haskell.org//ghc
     44e1853... Merge branch 'master' of http://darcs.haskell.org/ghc
     4c8e030... fix #5022: polymorphic definitions inside arrow rec
     44d6b6e... Tabs -> Spaces
     6a42e96... Tabs -> Spaces
     e7e771d... Fix warnings
     a3bd0b7... Tabs -> Spaces
     565f97b... Tabs -> Spaces
     4ff7d0bb.. Refactor Safe Haskell check to provide hscCheckSafe GHC API
     c779a71... Tabs -> Spaces
     82e19ff... Ignore -fpackage-trust if no other Safe Haskell flags
     625bb55... Improve sync-all usage doc
     221f409... Very small tweaks to pave the way for solving kind constraints in the simplifier.
     477946c... Introduced new form of TcEvidence for KindCasts, this patch also fixes a bug in zonking: we must zonk the kinds of existential variables even if the variables themselves will not be affected.
     53fb26e... Now the constraint simplifier solves kind constraints as well.
     e1a8d3f... Merge branch 'master' of http://darcs.haskell.org//ghc
     ddb50b3... Move function from where clause to top level
     394a68a... Doc wibble
     afe7da4... simplify code.
     a20cdb9... Fix safe imports to work in GHCi.
     541781f... Fix :issafe safe haskell ghci command
     18e5476... Improve ASSERT error message
     ddeb70b... Fix the behaviour of the unit unboxed tuple (# #)
     8785726... Fix an outright bug in the implementation of default decls for associated types (fixes Trac #5719)
     416c590... Use HsTupleTy [] for unit tuples, uniformly
     89c0f09... Implemnt Trac #5712: show method for infix GADT constructors
     bffff2e... Add an ASSERT on 'pick'
     cfcddaa... Make RnEnv.lookupBindGroupOcc work on Orig RdrNames
     4716851... Merge branch 'master' of http://darcs.haskell.org/ghc
     276c052... Documentation wibble: kind -> sort
     d276123... Fix Trac #5721; type variables can be quoted in TH
     b0c0205... Print more informative sizes in -dshow-passes, and add intWithCommas to Outputable for printing large Int/Integers
     896d20f... Merge branch 'master' into type-nats
     8c3bc83... Add the wired-in names for manipulating type-level nats.
     4715b87... Add the built-in instances for class NatI.
     dc6f3a4... Fix typo in Makefile
     98a642c... Major refactoring of CoAxioms
     b222368... Be less verbose when printing out Vars
     f283c39... Don't record outputFile in the hashed flags
     7d7809d... Refer to Control.Concurrent instead of GHC.Conc
     aa1114e... Fix minor bug introduced in e7e771d14ac671904a69abecf9e133d4647026c1
     0095702... In the SIGTSTP handler, throw SIGSTOP instead of re-throwing SIGTSTP
     d7d56f5... Fix the C backend after making CCCS an STG register
     8387f01... Store the word size as determined by configure, in the settings file (#5735)
     a8b8d65... osElfTarget should default to False (#5733)
     3fc68b5... Remove missing archs (mipseb, mipsel, alpha) (#5734)
     cf655bc... Restore printing of Rep type family instance with -ddump-deriving
     7196367... KFreeBSD is also an ELF binary
     0545b55... dsCImport (CLabel): drop foralls when checking for FunPtr
     659f47d... fix warning
     4464c92... mkSlowEntryCode: enterLocalIdLabel should be enterIdLabel (#5357)
     6a9e521... remove dead code
     3478213... Rename the CCCS field of StgTSO so as not to conflict with the CCCS pseudo-register
     2d91e04... Fix for unregisterised compilation: isStrangeTypeGlobal CCCS = True
     e04da8a... Fix for unregisterised compilation: we want registers when defined(USE_MINIINTERPRETER)
     53fad2a... Rename struct _CostCentreStack to struct CostCentreStack_ for consistency
     dc179f5... Give the correct type to CCCS
     23a0ded... We must emit DELTA pseudo-instructions when moving %esp (#5747)
     a385b85... small refactoring
     974f451... Fixup to 4464c92badaedc45ce53d6349f6790f6d2298103
     74ac5be... Tabs -> Spaces + formatting fixes
     9ee9e51... Formatting fixes
     1cb4a07... Remove unused argument field on CmmJump
     45818b9... Formatting wibble
     ccba0c2... Tabs -> Spaces
     419af4e... Remove unused arg field of CmmReturn
     84b596a... Formatting fixes
     b540be0... Fix validation warning
     155ce29... Fix haddock validate problem.
     48a5a53... Fix crash with +RTS -xc  (occasional cgrun057(profthreaded) failure)
     5309bd0... abstract away from the 'build-toolchain'-dependent sizeof(...) operator
     9186d92... update copyright, cite realistic version numbers, fix a smattering of typos
     fe2433a... Fix a crash in STM when unregisterised
     77e7889... Enable the threaded RTS when unregisterised too.
     a6969bf... setNumCapabilities: don't barf() if it isn't supported, just print an error
     847cde7... refactoring
     2913fb2... Be explicit about what we import from Data.Monoid
     a5b365a... Doc fix
     cb843f6... Monadify dsEvTerm in preparation for generating Integer & String evidence.
     7655c71... Go back to using an Integer as evidence, rather then just a Word.
     f784eb7... Merge remote-tracking branch 'origin/master' into type-nats
     af8cb68... Add alpha, mips, mipseb, mipsel to the list of ArchUnknown arches
     5fb1a1c... configure: Don't calle GET_ARM_ISA on x86_64
     0c5f28a... Add comments on which integer rules are missing
     c2a840e... Define prelude rules for floatFromInteger and doubleFromInteger
     4c49eb5... Generate the haddock contents/index pages in a dist-haddock subdirectory
     9e45287... Refactoring
     85926ae... Change -XTypeOperators to treat all type-operators as type-constructors.
     81c69f3... Make the RTS linker API use wide-char pathnames on Windows (#5697)
     11141d5... typo
     61d8ad7... use (GHC) idiomatic types
     4317867... last_free_capability should never be NULL
     a0f8b3a... In mkCast (Coercion c1) c2, check that c2 has (~#) on both sides
     8c2aa49... Merge branch 'master' of http://darcs.haskell.org/ghc
     4384e14... Track STG live register information for use in LLVM
     a63c423... Add live stg info to Updates.cmm (fixes #4308)
     4a0eb92... Improve style of '-ddump-llvm' output. (#5750)
     f0c760c... Merge branch 'master' of http://darcs.haskell.org/ghc
     e6bfc59... Enable llvm tool paths to be set with ./configure
     56a7c60... Add prelude rules for quotInteger, remInteger
     17f89fd... Add prelude rules for encode{Float,Double}Integer and integerTo{Int,Word}64
     85fa980... Whitespace only
     b8fe21e... Merge branch 'master' of http://darcs.haskell.org/ghc
     6496c6f... Merge branch 'master' of http://darcs.haskell.org/ghc
     ce545f0... Fix cleaning buildinfo files
     a83b02a... Clean more files in "make clean"
     b56e7b2... check for failed external symbol lookups (partial fix for #5748)
     ce70663... Don't try to use gcc-4.2 on XCode >= 4.2
     0b5e57e... Use /usr/bin/gcc when making the OS X installer
     234a526... More improvements to llvm output style (#5750)
     0f15f8a... Add Metadata support to LLVM bindings.
     71e5ee7... Use Type Based Alias Analysis (TBAA) in LLVM backend (#5567)
     c2121ec... TOP/includes/dist doesn't exist (yet?) and makes ghcpkg05 fail, so remove it
     5508ada... Implememt -fdefer-type-errors (Trac #5624)
     a686d1c... Merge branch 'master' of http://darcs.haskell.org/ghc
     3a3dcc3... Merge branch 'master' of http://darcs.haskell.org/ghc
     3beb1a8... Fix Trac #5658: strict bindings not floated in
     3b75c4e... Comments only
     4ada19d... Fix if-def-ery for DEBUG
     50fd5a9... Merge branch 'master' of http://darcs.haskell.org/ghc
     38e897c... Make "make sdist" generate a testsuite tarball as well as the src tarball
     e10589a... Improve LLVM TBAA hierachy (#5567).
     c55bb60... Update '.gitignore'
     ba52053... Add '-fllvm-tbaa' flag for controlling LLVM TBAA opt.
     167d2d4... Formatting fixes to flags.xml
     4ef5ce6... Add '-freg-liveness' flag to control if STG liveness information is used for optimisation. (enabled by default)
     ff4be21... Consistent: Enbaled -> enabled in flag doc.
     e2ec71c... Fix mistake in flags.xml
     cea6307... Fix validation error
     1074c2d... Get the knownKeyNames for doubleFromInteger right
     a30c2df... Comments only
     c96022c... Merge branch 'master' of http://darcs.haskell.org/ghc
     2307516... Mainly, rename LiteralTy to LitTy
     601c983... Add -faggressive-primops plus refactoring in CoreUtils
     6b58460... Add some llvm build options to build.mk.sample
     804108f... Add extra Num constraints since the Num superclass of Bits is removed
     57b1d54... Document the Num superclass divergence from H98/H2010
     39291dd... Document the Bits superclass divergence from Haskell 2010
     7bc456d... Document the extra instances divergence from H98/H2010
     08894f9... Switch to using the time package, rather than old-time
     2719cac... Define "ar command" correctly in settings file on Windows
     ee250e5... When configuring, handle $topdir/ in the ghc --info output
     10f5847... Remove an out-of-date comment
     42dda24... Remove some "0 +"s that look redundant
     e4dda61... remove tabs (+ ignore tabs option) from LexCore.hs
     e0383e2... Remove trailing whitespace in compiler/parser/LexCore.hs
     54121ff... Fix a #define
     b68bbd8... Fix vectorisation of classes
     5dc73fd... Merge wibble
     3c67c9a... DataConIds need to be treated specially in VectInfo
     384f609... Split -XDataKinds from -XPolyKinds
     a9e17cc... Fix for tick intervals greater than one second.
     fac8ecb... Fix bug causing polling instead of blocking in the non-threaded RTS (#5773)
     395ef28... Revert "Add -faggressive-primops plus refactoring in CoreUtils" (#5780)
     25d3e4b... Remove unnecessary extra use of orphan_hash
     e932d30... Documentation for -XDataKinds
     b81aa25... Add missing initialisation of cap->disabled
     7bbc1b0... Tabs -> Spaces
     8783718... Only use TBAA when LLVM > 2.8. (#5782)
     157dd07... Allow default superclass methods for multi-parameter type classes
     1aa0228... Merge branch 'master' of http://darcs.haskell.org/ghc
     1584f29... Switch TcEvidence to Unix line endings
     f002a46... Do not combine dictionaries in the EvVarCache when simplEqsOnly is on
     6acf6cd... Warn when a SPECIALISE pragma gives rise to a totally inactive rule See Trac #5779
     51ba3c2... Comments only (to support debug tracing in DmdAnal)
     bb50135... Use nested tuples to desugar recursive do-notation
     16b6283... Eliminate {| and |} vestiges in lexer/parser
     e86a7c7... Incorrect type conversion in LLVM backend (#5785).
     3e63df8... Document -T RTS flag in manual.
     51d89a5... Do not inherit "SPECIALISE instance" for INLINE default methods
     4127a4a... Merge branch 'master' of http://darcs.haskell.org/ghc
     a12c8a0... Rename the testsuite tarball
     8bdcc5c... Fix validate
     3220e57... Remove getDOptsDs; use getDynFlags instead
     9dacfcb... Remove getDOpts; use getDynFlags instead
     3bc62f5... Remove typecheck/TcSimplify.lhs-old
     10300ec... Remove getDOptsSmpl; use getDynFlags instead
     d2dcac6... Fix bug introduced in fac8ecbbafde17dd92439c41747223c43e9d2b80
     7f06d92... Follow Cabal version bump
     8de2a03... Merge branch 'master' of http://darcs.haskell.org/ghc
     921ccf7... Port "Add new primtypes 'ArrayArray#' and 'MutableArrayArray#'" to new codegen.
     d0e3776... Merge in more HEAD, fix stuff up
     f438722... Add a missing newline in the ghci :h text; spotted by Alexander McPhail
     9c15752... Merge remote-tracking branch 'origin/master' into type-nats
     5851f84... Add support for type-level "strings".
     d4c9063... Remove old dead safe haskell setting
     0120d0d... Tabs -> Spaces
     a1edfab... Improve source code documentation og GHCi main.
     08784e9... Formatting wibbles.
     cda58f7... Have hscStmtWithLocation return (IO [HValue]).
     9e238da... Code cleaning
     3e8b37d... Fix warning in GhciMonad.
     54b7afc... Fix missing import in HscMain.
     47c0404... Fix mistake in previous commits.
     2c428d2... Improve source documentation for Ghci stmt IO lifting
     ae359d4... Fix validation error, import only in GHCi
     8d016e1... Remove accidentally commited 'trace' statements
     806c31f... Just rename a local variable
     e3f689f... Rename polyKindsErr to dataKindsErr
     d16f5c7... de-tabbed the hs-boot files
     3692c6f... FIX #5819: add -XDataKinds to the language options section of the user's guide
     41678b9... Start on 7.6.1 release notes
     2a54a0d... Pass alex and happy locations to ghc-cabal; fixes #5579
     50c07f7... Remove bogus extra definition of $(dir)
     4ff3a64... Fix register clobber list in StgRun for ARM
     9fff25e... Improve support for cross-compilation
     884a28d... message tweak
     6b08634... Validate fix: no cross compilation for bindists
     766da94... llvmGen: Use new fence instruction
     d2d5ee1... Improve support for LLVM >= 3.0 write barrier. (#5814)
     9774131... When type-checking kinds, be sure to promote list and tuple syntax
     bbe2d21... Don't include Cabal in mkDocs
     bc9f8b0... Add a "tag" command to sync-all
     f92591d... Refactor HsDecls again, to put family instances in InstDecl
     af26d55... Give promoted DataCons a tyConArity and promoted TyCons a tyConKind
     542dd73... Refactor tcUserStmt, to fix Trac #5829
     0053aa2... Merge branch 'master' of http://darcs.haskell.org/ghc
     a0c7808... comments
     e46d266... Check that imported modules actually exist (#5836)
     bf456a0... avoid 32-bit integer overflow (#5831)
     9c685f4... Ignore -C when not unregisterised (reported on ghc-users)
     59ddfa4... ARM StgRun: Ensure r11 state is preserved
     15cd666... Remove a workaround for building with GHC 6.12.2
     2a58aa1... MERGE from 7.4 branch: Update dependencies
     6e87d4b... Fix '-distrust-all-packages' flag.
     76e72c3... Fix the build on Windows
     68b59ce... Distinguish between normal and qualified unused imports
     cc04708... Put only local instances in the interactive context (fixes Trac #5820)
     62d1337... Document -fwarn-auto-orphans
     15ec883... Complete fix of #5820
     52c01c9... Merge branch 'master' of http://darcs.haskell.org/ghc
     54932b9... Add script for sending bug remilestoning e-mails
     b23a7e5... Don't allow implicit qualified imports in GHCi when -XSafe on.
     e5272d9... Don't add a bad import to the saved context.
     5e9e07a... Have :load work under -XSafe in GHCi.
     7afa5fe... Fix equality testing for test(1) on FreeBSD
     5aaffa6... Fix some more sh syntax in configure.ac
     91fe817... Add dragonfly support; based on a patch from Goetz Isenmann
     0759d08... Improve FreeBSD support in configure
     86ebfef... Minor documentation fix
     cfd89e1... Merge remote-tracking branch 'origin/master' into type-nats
     67f4ab7... Allocate pinned object blocks from the nursery, not the global allocator.
     c61b014... .cmm files need to depend on DerivedConstants.h
     1cbd950... Revert "Have :load work under -XSafe in GHCi."
     4a0973b... Revert "Don't add a bad import to the saved context."
     7357563... Refactoring, and fix a couple of SafeHaskell-related things
     1692267... Refactoring: make IIModule contain ModuleName, not Module, for consistency
     172a0c2... Minor documentation fix
     9277979... Remove the old ext-core docs
     8c0196b... Add docbook-ised external-core doc; from #5844, by James H. Fisher
     7bfb7bf... Define a quotRem CallishMachOp; fixes #5598
     9fa9dd7... fix #5534 (ghci -fobject-code strangeness)
     f3f8c90... fix ARM's StgCRun clobbered register list for both ARM and Thumb modes
     0bca11d... fix ARM StgCRun to not save and restore r11/fp register twice
     eda2c73... Be less conservative about recompiling after changes to -main-is (#5878)
     b6f94b5... Compile link .note section separately from main.c
     95d2e12... point to the wiki for "Setting up your system for building GHC" (#5874)
     444e2fe... oops, a Bool is a little *too* lax (#5878)
     77953db... tweak error message
     a40125e... add ticket number to comment
     c56c0c9... Whitespace only in types/TyCon.lhs
     546dd4f... Implement the CTYPE pragma; part of the CApiFFI extension
     7f79d0c... Refactoring around super-kinds
     2126f7a... Mainly tidying up pretty printing of types
     6585b15... Remove dead code
     78e2beb... Comments only
     384c386... Get rid of now-outdated zonkTypeCarefully
     a2fe5d2... Change ATyVar to only have a *tyvar* not a *type* in it
     ee1a35a... Tidy up the canonicaliser
     de9bae8... Rejig Core Lint to deal better with polymorphic kinds
     d31e9d6... Wibbles to the ATyVar changes
     154af13... Tidy up kind generalisation a bit
     1e00b77... Merge branch 'master' of http://darcs.haskell.org/ghc
     d2377e8... Add CType informatino to wired-in types
     a4b3fda... Add FunPtr to the types that toCType knows about
     b52f0a4... Merge branch 'master' of http://darcs.haskell.org/ghc
     20a2dfc... Fix the build with GHC < 7.4.1
     ef796d1... Fix parsing regression in CTYPE patch
     6f4a073... Remove unused ghciHandleGhcException
     4d84cc2... Kill dead code
     fcf977a... Move sortQuantVars to MkCore
     c676a15... Define TypeVar (like KindVar), isTypeVar, isKindVar, and use them
     f970ae2... Make the specialiser understand about polymorphic kinds
     e867f42... Substantially nicer code in record updates
     9789b03... Implement a typing rule for saturated seq, and document it Also add notes about unsafeCoerce
     94496fc... More simplification of the sub-kinding story
     0a5e4c6... Fix a nasty bug in the canonicaliser which was failing to emit kind constraints when decomposing an application. Resulting code is actually shorter!
     16e7a03... Fix a missing defaultKind that resulted in lingering ArgKinds
     1bc8014... Wibble to sub-kinding
     4c29dcb... Merge branch 'master' of http://darcs.haskell.org/ghc
     5940bfd... Now I understand why Constraint is a sub-kind of ArgKind!
     7b24c3f... Allow a header to be specified in a CTYPE pragma
     5d7fd29... Add some docs for the CAPI extension
     1b7dfd7... Small refactoring: Use (Maybe Header) rather than FastString
     efd78ac... Small refactor
     7a7f6d7... Add a primop for unsigned quotRem; part of #5598
     40cb7f1... GHC trees no longer include the extensible-exceptions package
     4082460... Show the CType in --show-iface output
     1e87280... Be stricter about abstract newtypes in FFI declarations again.
     62494e7... Add a hack to make validating with HADDOCK_DOCS=NO work
     544926d... Remove support for CTYPE pragmas on type synonyms
     d7d6c42... Fix validating with HADDOCK_DOCS=YES
     0a88274... Simplified serialization of IfaceTyCon, again
     9f29c9a... Update dependencies
     ec37da2... Update dependencies
     7d8b2c1... Call expandCallishMachOp in the x86_64 codegen too
     98acdf0... Add a Word add-with-carry primop
     d8228fd... Add x86_64 support for the add-with-carry op
     45eb0a4... Add a 2-word-multiply operator
     d16c681... Implement 2-word-multiply for x86_64
     16d8cdd... Fix generic 2-word-multiply
     778ca5d... Add x86 implementations of the quotRem, Mul2 and Add2 primops
     4c5464f... Abstract out the hFlush calls in the GHC API
     9065bdb... Fix parsing of FFI import decls
     ae04bd4... Implement "value" imports with the CAPI
     d785049... Whitespace only in utils/GraphOps.hs
     bb6657d... Fix warnings in utils/GraphOps.hs
     ee435a2... Change -X flags into LANGUAGE pragmas
     7e8da4a... Whitespace only in utils/GraphColor.hs
     d12f609... Fix warnings in utils/GraphColor.hs
     7a61f47... remove unused function: printError
     91cc139... tidied this up, the macro definitions were causing duplicate semis in the source
     8bd7200... use idiomatic (GHC) types
     2be38ab... remove legacy clean
     d30b461... typo
     9c42c22... minor tweak
     668aef9... two typos
     ed55820... some small corrections
     4cb771a... typo
     5f7ac44... typo
     ac89ecf... comments only
     efb95fb... typo
     da6e86e... zap extra semi
     a5c7946... (some) tabs -> spaces
     ca04a67... (some) tabs -> spaces
     f1c5402... tabs -> spaces
     13481df... (some) tabs -> spaces
     4d303fb... formatting tweaks
     ebd0ac7... tyops
     ffe282c... Replace createDirectoryHierarchy with createDirectoryIfMissing True
     4bac993... Add sync-all new-workdir
     b1bd566... Remove documentation that a feature was missing, because it is not. (#5896)
     151b0dc... Mention -threaded in the intro to Concurrent Haskell
     eeaa573... slight tweak to help text (#5896)
     014f1e1... raiseAsync: cope with ATOMICALLY_FRAMES inside UPDATE_FRAMES (#5866)
     b2e855d... Fix copy/paste error in the docs
     a352385... Whitespace only in nativeGen/AsmCodeGen.lhs
     2304a36... Fix the unregisterised build; fixes #5901
     1eee274... Fix validate with tables-next-to-code off
     2e55760... GHCi: add :seti, for options that apply only at the prompt (#3217)
     c624d28... Omit -osuf/-odir -hisuf/-hidir and -stubdir from the flag checker
     27d7d93... In --make, give an indication of why a module is being recompiled
     085c7fe... Drop the per-task timing stats, give a summary only (#5897)
     0bc6055... Fix crash caused by allowing duplicate *-modules in the context (#5904)
     3bf54e7... Hurrah!  This major commit adds support for scoped kind variables, which (finally) fills out the functionality of polymorphic kinds. It also fixes numerous bugs.
     9dde17e... White space only
     eeba543... Improved debug printing with -dverbose-core2core
     90de973... Attach INLINE pagmas in mutually recursive bindings
     e0c849e... Tidy up the handling of kind generalisation
     48cab6d... Make type trimming more conservative with -XDataKinds (fixes Trac #5912)
     3e00d04... Fix Trac #5892: a coding errors
     47a9a99... Deal with promoted DataCons in interface files (fixes Trac #5881)
     5e38346... Get correct options when calling 'clang' inplace of 'as' (#5903)
     28f783f... Add Haiku platform (#5828)
     dfe536b... Give a unfolding argument discount proportional to the number of available arguments
     d6b1050... ghc-pkg: make sure info messages go to stdout and errors to stderr (#3818)
     f630970... Tweak the HADDOCK_DOCS regex in validate
     7b0f95c... Improve reporting of type-class errors
     0034b43... Merge branch 'master' of http://darcs.haskell.org/ghc
     301a718... Don't defer type errors when evaluating a GHCi expression
     b74748f... Wrap quotes in an error message
     4a3b8c3... Documentation update: Enumerations of Integers are subject to list fusion (#5670)
     69b2113... Merge branch 'master' of http://darcs.haskell.org/ghc
     11ad927... Typo in comment
     e212079... In ghci, reload after :e. Patch from Paolo Capriotti. Fixes #5343
     0741ca5... Fix another bug in CorePrep eta-reduction (fixes Trac #5915)
     26c9623... Improve error message when interpreter is not enabled (Trac #5919)
     5513fe0... define TABLES_NEXT_TO_CODE in ghcautoconf.h (#5933)
     93299cc... Tweak to flag parsing (#5921)
     1dd9b1a... Merge remote-tracking branch 'origin/master' into type-nats
     e562e59... fix _BTM field of closureFlags[], and document what it means (#5923)
     e29001c... Allow Any as an argument type to foreign prim functions
     4bbe9f7... Fix closure_type_names, BLACKHOLE and BLOCKING_QUEUE were swapped
     c1ea823... Remove debug trace
     54eb030... Deal with kind variables brought into scope by a kind signature
     55372bc... Add fixity declarations to Template Haskell (Trac #1541)
     23b27e2... Improve debug WARNING message
     3f96882... Merge branch 'master' of http://darcs.haskell.org//ghc
     1802ef7... Fix another bug in CorePrep eta-reduction (fixes Trac #5915)
     79a10ef... Improve error message when interpreter is not enabled (Trac #5919)
     3e904ff... Remove debug trace
     431c05b... Deal with kind variables brought into scope by a kind signature
     ef2491a... Add fixity declarations to Template Haskell (Trac #1541)
     9b602e7... Improve debug WARNING message
     c31d0f9... Add TH support for type-level literals.
     634ffaf... Some configure/aclocal fixes for Win64
     97c24cd... Build the Windows ghci wrapper with stage1, not stage0
     69f98b8... Fix stg_block_async on unreg compilers
     45a40ba... Fix PprC for 64bit platforms with 32bit long's
     1d00c83... Support making a Win64 in-tree mingw
     dad672f... More aclocal fixes for Win64
     b0b76b2... Some Win64 fixes
     0268a23... More fixes for Win64
     8dfe8ee... Fix copy/paste error
     a83d9fb... Fix tarball name for Win64 mingw
     aff6b84... Merge branch 'master' of win:c:/m64/head/.
     3ed3073... More Win64 aclocal fixes
     84ccbea... Fix another copy/paste-o in aclocal.m4
     ca0fcb3... Fix a tiny bug in cwrapper.c
     1f04616... Fix path to windres on Win64
     14dfd4c... Merge branch 'master' of http://darcs.haskell.org/ghc
     393c53f... Add missing items to templateHaskellNames
     029cd43... Remove an unused variable; fixes a warning on Win64
     9827c21... Merge branch 'master' of http://darcs.haskell.org//ghc
     d66b9cb... For now, turn off the SEH code on Win64
     fb28754... Complete the fix for Trac #5882
     0936621... Fix documentation about TH and kind-promotion single-quote notation (Trac #4197)
     27e3bd8... Merge branch 'master' of http://darcs.haskell.org//ghc
     7a60d63... Soem more Wind64 fixes
     e4744cd... Another Win64 fix
     35b32a0... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     b662736... Merge branch 'master' of win:c:/m64/head/.
     73ce2e7... Fix fingerprints for merge commits.
     ad752fd... Fix building with devel snapshots
     133d952... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     45740c2... Fixed for unregisterised Windows builds
     8fb03bf... If we say we're treating StdCall as CCall, then actually do so
     d879a5a... Fixes for the threaded RTS on Win64
     452e15a... Fix the printing of * (the kind).
     d7bd9ee... Merge branch 'master' of win:c:/m64/head2
     5e10022... Add an `Outputable` instance for `HsTyLit`
     29e3d7b... Only parse type literals when using `DataKinds`.
     6260064... Fix the registers used in StgRun on Win64
     a3dc885... Use win32AllocStack on Win64 too
     f424fc2... Define allArgRegs correctly for Win64
     15e2942... Fix mkDerivedConstants on Win64
     e24091b... Fix stg_block_async on registerised Win64
     62b25ec... Add type-literals in the ordering hierarchy.
     deed56f... Merge remote-tracking branch 'origin/master' into type-nats
     6821789... Fix scoping of type variables in DsMeta
     15ebeea... Comments only
     6957078... Merge branch 'master' of http://darcs.haskell.org/ghc
     27402ec... Fix the Win32 build: A CPP symbol name was wrong
     8986122... Code tidy-up: Use RET_NN in stg_block_async
     a7e1136... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     d0a4771... Fix for Win64 codegen
     d818973... Fix whitespace in ghci/ObjLink.lhs
     a65b762... Whitespace fixes in ghci/Linker.lhs
     d3b4310... Merge remote-tracking branch 'origin/master' into type-nats
     c4167f7... Rename allArgRegs to allIntArgRegs
     3bdc739... Fixes for the calling convention on Win64
     a067f1f... Merge branch 'master' of win:c:/m64/reg2/.
     c658670... Detab Adjustor.c
     7641d61... Only support stdcall in Adjustor.c on i386
     11feda6... Check for external names/exported ids in non-top-level binders during Lint
     ae2d23e... Print more information when out-of-scope detected by linter
     aecacda... Make impossible-alternative-finding code more reusable
     1dee0bb... Implement the Adjustor for Win64
     0c1a608... Merge branch 'master' of win:c:/m64/reg3/.
     703a30f... Disable some debug prints that a plain +RTS -DS was enabling
     9a7804d... Merge branch 'master' of win:c:/m64/reg3/.
     1d545ca... Fix compile for CPUs other than x86/x86_64.
     7441207... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     ee8bf69... hp2ps: escape backslashes when generating output file (#5800).
     ca7c3a0... Merge branch 'master' of http://darcs.haskell.org//ghc
     b857c8a... Refactor HsDecls.TyClDecl to extract the type HsTyDefn, which is the RHS of a data type or type synonym declaration.  This can be shared between type declarations and type *instance* declarations.
     050f714... Update the user guide with details on new flag +RTS -lu
     857cd8e... PPC ppr: tabs -> spaces.
     477cbad... PPC: Handle right shift of > 31 bits. Fix #5900.
     009058b... Add -favoid-vect
     68d00a0... when tracing to stderr, make the capset events conditional on TRACE_sched
     2abd65e... Tabs -> Spaces
     48b0aa6... Tabs -> Spaces
     48b467f... Tabs -> Spaces
     7e0a5bd... Clean and comment Annotations
     37328ed... Tabs -> Spaces
     66f4b85... Clean up GhcMake a little
     c8f2645... Tabs -> Spaces
     3ac28c0... Cleaning of HscStats
     c9336b1... Clean of PackageConfig
     18256a1... Tabs -> Spaces
     2c5591a... Code clean
     8ebd0c2... Tabs -> Spaces
     2938619... Tabs -> Spaces
     f5584e6... Tabs -> Spaces
     9ea0721... Improve documentation on optimisations.
     3c66252... Add TODO entries for missing and unexplained optimisation flags. (#5801)
     a756ff5... Rename optimisation flag for uniformity with existing flags.
     d8a3063... Document some optimisations, rearrange order to be more logical (#5801)
     c1bd2e5... clean to some docs
     47a0180... Remove old darcs files
     5784df0... Fix caller/callee register saving on Win64
     1212145... Fix ASSIGN_DBL on Win64
     9782f8f... Merge branch 'master' of win:c:/m64/reg4/.
     e1cf0b9... Fix rsp alignment on Win64
     4f6a56e... Merge branch 'master' of win:c:/m64/reg4/.
     0044864... Fix pretty-printing of type operators in imports/exports.
     8bb2730... Fix printing of type operators in declarations.
     d9ee9d9... Merge branch 'master' of http://darcs.haskell.org//ghc
     81b2b11... Add -XExplicitNamespaces to enable using 'type' in import/exports.
     bcb5995... Merge remote-tracking branch 'origin/master' into type-nats
     e5beffb... Complete refactoring of HsDecls/HsTyDefn
     a44c3d9... Make the 'extract' functions to find free type variables of an HsType return RdrNames rather than (Located RdrNames).
     6403540... Merge branch 'master' of http://darcs.haskell.org//ghc
     673b1be... Remove dead code
     5673173... Merge with HEAD
     4ecfc7f... Remove Show instance for Forest
     cc2d2e1... Midstream check-in on    (i) Replaced a lot of clunky and fragile EvVar handling code with        a more uniform ``flavor transformer'' API in the canonicalizer        and the interaction solver. Now EvVars are just fields inside        the CtFlavors.    (ii) Significantly simplified our caching story This patch does not validate yet and more refactoring is on the way.
     9606231... Don't document '-fregs-liveness' or '-fllvm-tbaa', both hidden flags
     516d313... Add a crucial forkM on the superclass context of IfaceClass in tcIfaceDecl
     b4b7647... Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor
     cb5a3f2... Make the LocalRdrEnv keep track of all the Names that are in scope
     59d6d62... Merge branch 'master' of http://darcs.haskell.org/ghc
     734f1d4... Fix a bug in threadStackOverflow() (maybe #5214)
     fe0a45e... threadStackOverflow: Tweak to stack chunk sizing
     c6411c3... Slightly more informal message when EvCast fails.
     3be60fa... Bugfixes: (i) wrong evidence generetation when using cached solved family equation           (ii) evidence loops because of caching fixed
     4e0f1a0... Small bugfix (for indexed_types/should_compile/T2291.hs). Because our inert sets do not tolerate more than a single constraint per family head we have to allow family interactions /with the inerts/ (not with top-level) when the context says simplEqsOnly.
     1cc92e9... defaultKind the kind of one of the types when you create a higher-dimensional equality proof, pretty much as we do for mkTcEqPred. Ugly and delicate but we have to rething the subkinding story. For now I am doing the same thing as mkTcEqPred.
     81faaee... Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor
     bf334d2... Add handling of LitTy. Still a TODO to deal properly with the forall case in there.
     e74fbf0... Started investigating how performance is affected and how intensively our caches are used.
     f30f90b... More informative commentary as to why we allow family interactions with inerts when simplEqsOnly is on.
     3f42011... Changing the orientation of a generated equality
     f84ea58... Deleting A LOT of commented out code!
     b22501b... Add linker support for ELF on ARM
     f1f93b2... Comments only
     f0cb41b... White space only
     dd847cb... Don't crash if there's a malformed instance!
     e21e13f... A related group of changes that make lexically scoped type variables work in Template Haskell
     4dd0fd3... Don't do validity checking on types in Template Haskell type brackets We might be in the "knot" of a type declaration: see Trac #5968.
     9804c81... Merge branch 'master' of http://darcs.haskell.org/ghc
     d86e6c0... A little tracing.
     ac2fbb4... Update documentation of DatatypeContexts (#5964)
     83d9b38... Attempt to detect loops through imported function RULEs
     6785820... Mostly commentary to follow up after discussions with SPJ on several open tickets.
     a39a192... Respect package qualifier when validating imports in GHCi (#5979)
     853c1c3... Add some missing equations for type-literals.
     d402d8a... Add an entry for -XExplicitNamespaces to the manual.
     0571092... Add a section about promoted literals to the manual.
     027f282... Tidy up compiler/ghc.cabal.in
     270b7ce... Whitespace only in main/Packages.lhs
     226b982... Remove an unused make variable
     b3f6a8b... Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor
     50e5a06... Fixed typo in b857c8ad which caused NewtypeD to be interpreted as DataD.
     dc2f65f... Support qualified identifiers in quasi-quotes (#5555).
     8580b97... Deleting more old commented code.
     5802ebd... Dropping the idempotence restriction on the inert substitution, for efficiency. More documentation to follow.
     f9da524... Commentary, following the relaxation of idempotence of the inert substitution.
     e7e5e27... Prevent nested TH exceptions from bubbling up to the top level (#5976)
     d29e277... Bugfix in emitKindConstraint (must not cache orig constraint as Solved!); added short note to document an example.
     8737d47... When rewriting a flavor with rewriteCtFlavor, in the case of reflexivity, avoid setting the flavor PredType to be the new PredType if the types exactly match, so that in case of failure we report errors that do not have expanded type synonyms.
     2183c87... More informative tracing for ddump-cs-trace
     e3e740d... Wibble: using original type for the dictionary if it has not changed (to preserve synonyms)
     88d61cc... Improved checks for "dynamic" and "wrapper" foreign declarations (#5664)
     30eee19... Update comments about Addr in foreign declarations.
     4f7599d... Tighten up on type validity checking
     4d20dc8... Merge branch 'master' of http://darcs.haskell.org/ghc
     d3020a7... Adding a forgotten pre-canonicalication cache-lookup stage.
     0dd6cc5... Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor
     4caef1c... Document optimisation passes, to some extent at least
     022c1d2... Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor
     f9c2e85... Add eventlog/trace stuff for capabilities: create/delete/enable/disable
     8536f09... Calculate the total memory allocated on a per-capability basis
     cd930da... Change the presentation of parallel GC work balance in +RTS -s
     65aaa9b... Add new eventlog events for various heap and GC statistics
     a3cdefd... Adjust the eventlog description header for the spark counter event
     e88f162... Move trace of cap delete from shutdownCapability to freeCapability
     1f809ce... Emit final heap alloc events and rearrange code to calculate alloc totals
     598109e... Fix the timestamps in GC_START and GC_END events on the GC-initiating cap
     c294d95... Add the GC_GLOBAL_SYNC event marking that all caps are stopped for GC
     2bf6083... Fix uneeded test in safe haskell code
     c690214... Fix tracking of reason safe inference failed. (#5988)
     7ed6759... Update safe haskell error/warn formatting
     5a0b827... Fix GHC API with respect to safe haskell. (#5989)
     7f61ae2... --amend
     1a4ae30... Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor
     f7245ce... White space only
     6d46439... Improve error reporting for out-of-scope variables
     70b0f16... Improve kind-checking of type splices slightly
     0125965... Merge branch 'master' of http://darcs.haskell.org//ghc
     6100eb4... Fix Trac #5952, by changing the Outputable TyCon instance, so that it does not print a quote in front of a promoted TyCon in a Kind.
     b40f001... Merge branch 'master' of http://darcs.haskell.org/ghc
     806182b... Implemeting a lookup modulo non-idempotent substitution.
     f15977c... Improved caching: I was flushing the solved when going under implications, this was the reason for the regression of T3064.
     3f46b1e... Merge branch 'master' of http://darcs.haskell.org/ghc
     f0d10e3... Allow promoted constructors in the typedoc production (#5948)
     1bfb979... Update names to match the implementation in GHC.TypeLits.
     2d8374a... Updates to the constraint solver to be able to handle implication constraint generation during solveInteractCts, needed for polytype equality decomposition. More commentary to follow.
     da102b3... Fix RTS build on OS X
     81f19d6... Setting empty touchable range in implications that are generated from polytype decomposition in the constraint solver.
     1603e4f... Merge branch 'master' of http://darcs.haskell.org/ghc
     6f1a432... fix quadratic performance issue with long module names (#5981)
     d6e3f3d... small cleanup
     dd24d6b... Disable the timer signal while blocked in select() (#5991)
     e12bec8... Fix crash with debug tracing and the new heap events
     9d26519... Improve the handling of threadDelay in the non-threaded RTS
     f089917... Turn on TRACE_gc with +RTS -Ds (this regressed at some point)
     ab52df86.. Revert "trac #5265 (support for additional .ghci files)"
     76bde33... Add support for additional .ghci files in GHCi (#5265)
     0a532c6... Do not re-encode correctly encoded inputs and arguments (#5795)
     e8dbeed... Fix a race condition in the GHCi debugger exposed by testcase break011.
     148b27b... Fix instance signature error message (#6001)
     206c8fc... Allow threads in GHCi to receive BlockedIndefintely* exceptions (#2786)
     392c288... updateThunk: minor tweak to avoid an unnecessary call to checkBlockingQueues
     5eabdc1... Fix crash with tiny initial stack size (#5993)
     f1a633a... Don't document '-freg-liveness' or '-fllvm-tbaa', developer flags
     295717d... More imporvements to optimisation flag docs.
     eecd7c9... Added ':runmonad' command to GHCi
     e0e99f9... Revert "Added ':runmonad' command to GHCi"
     3377abe... Untabify HsTypes
     6bf8159... Allow overlaps when -XIncoherentInstances is in force
     b8ff444... Fix worker/wrapper for CPR functions
     c5554f8... Allow kind-variable binders in type signatures
     49d0615... Merge branch 'master' of http://darcs.haskell.org//ghc
     5ba7db9... Use monotonic clock in Select.c (#5865)
     e57d23d... Use monotonic time function for darwin (#5865)
     6dc22bf... Support large SLIDE instructions.
     e408f4f... Export State monad transformer from ByteCodeItbls.
     f8d4882... Bytecode assembler refactoring.
     d5ec296... Implemented word-sized addressing of pointers and literals.
     68b4a09... Simplify construction of equality predicates
     5aa1ae2... Simplify the typechecking of RULES
     6ba8b33... Fix operand expansion function.
     d1060a0... Add newline to the end of file
     8152611... Adding -ddump-avoid-vect option for vectorisation avoidance diagnostics
     fa9fdc2... Do SCC on instance declarations (fixes Trac #5715)
     cc5d9dc... Merge branch 'master' of http://darcs.haskell.org//ghc
     dda1c1b... Comments only
     c163e38... Merge branch 'master' of http://darcs.haskell.org/ghc
     88f476b... Merge branch 'master' of http://darcs.haskell.org/ghc
     c284511... Move free-var info from InstDecl to FamInstDecl
     8229801... Merge branch 'master' of http://darcs.haskell.org/ghc
     6508697... Add a couple of comments
     24746fe... OS X: disable bootstrapping info for 'ar'
     5136d64... Add a quotRemWord2 primop
     74b9eb7... Add an X86/amd64 implementation for quotRemWord2
     bf6f708... Empty data types should not be "trimmed" by TidyPgm
     6b0537a... Respect kind-variable scoping when instantiating dfuns
     05debbb... Tiny refactoring; no change in behaviour
     b35e7e2... Sort instances by location before printing them
     739a009... ghci: write exceptions to stderr (#5980)
     e4de18d... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     09037d9... Merge nb:ghc/git/ghc
     aaff876... Merge branch 'master' of http://darcs.haskell.org/ghc
     bbc1eed... Add symbol declaration for __fixunsdfdi in the linker.
     9321224... Fixed typo (wrong max constant) in Initiialise.hs
     981e4f1... Partial Vectoriasation
     edd95cc... Vectorisation Avoidance
     85c5dcf... Replaced tabs
     0d8781b... Use gnu_printf rather than just printf in function format attributes
     3020e6d... Make the prototype for postHeapEvent match the definition
     8b1fd26... A couple of build fixes for Win64
     bfd8633... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     eb2d506... It isn't guaranteed that Cabal is warning-free
     ddc7f75... Win64 warning fix
     3e314cc... Add a flag for the unsupported calling convention warning
     979785c... Add experimental GHCi monad.
     bcff115... Report deprecations at occurrence sites, not once per module
     7aa8104... Merge remote-tracking branch 'origin/master'
     33ff498... Wibble to comment (to keep Haddock happy)
     a40ee02... Better error messages during sort checking of kind signatures
     6fd34a4... Improve pretty-printing
     0f8151a... Merge branch 'master' of http://darcs.haskell.org//ghc
     61e9a6c... removed superfluous flag for vectScalarFun
     4005255... Merge branch 'master' of http://darcs.haskell.org/ghc
     2a11904... Fix looking up of Exact RdrNames, fixes Trac #6005
     2316a90... More fixes to kind polymorphism, fixes Trac #6035, #6036
     84d79a2... distclean was removing ghc-pwd/dist, should be ghc-pwd/dist-boot
     7679603... make -XNoImplicitPrelude work properly in GHCi
     ebd7226... Fix typo
     3b52891... Merge branch 'master' of http://darcs.haskell.org/ghc
     4cc8826... Fix a one-character typo (kv1 should be kv2!)
     000d451... Improve debug print a bit
     4884546... Allow case expressions with a single alternative to be floated in.
     d9d35d8... Remove spurious debug print
     d50cb3e... Do not generate derived instances in TH brackets
     0646c34... Merge branch 'master' of http://darcs.haskell.org/ghc
     9e3171c... Make the RHS of a generic FamInst use the same type variables as the LHS!
     1dbe6d5... Fix warnings on Win64
     5bfd893... Fix lookup of fixity signatures for type operators (#6027)
     6866b87... Tiny refactor
     5f89437... Use coreBindsStats more than coreBindsSize
     dd96644... Win64 build fix
     3d8dd48... Add SRC_[CH]C_WARNING_OPTS
     9f611cc... Merge win:c:/m64/reg8
     b643fe0... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     b1eee04... Build fixes
     0377f8f... Fix build on OSX: Use the 'z' format specifier modifier when possible
     42760bd... OS X build fixes
     80a9f2f... Document the -fwarn-unsupported-calling-conventions flag
     0ff6dbc... Win32 build fix
     d7b5794... Simplify format specifiers
     5a3fdc0... Fix build on Win32, and handle the FMT_* #defines in a slightly nicer way
     31f16fa... Win32 build fix
     35e9039... Merge branch 'master' of win:c:/ghc/git/cygwin/.
     44098b3... Flags documentation: -fwarn-unrecognized-pragmas is enabled by -Wall (#6050)
     18c2a2f... Doc: updated list of warnings not enabled by -Wall (#4817)
     3144f85... add support for ARM hard-float ABI (fixes #5914)
     9aa3a7b... Fix build on OS X
     1ed0193... Add a new primop mkWeakNoFinalizer (#5879)
     b6e2826... Catch illegal imports earlier (#6007)
     f18db3b... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     4ca2818... hs_init(): cope with argc and/or argv being NULL (#6006)
     26d690a... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     4ffc4c7... White space and debug printint
     c049d30... Small refactoring in kind generalisation of type declarations
     5519566... Debug printing only
     745ec95... Add -faggressive-primops
     e3f8557... Refactoring in CoreUtils/CoreArity
     bbeaec2... Merge branch 'master' of http://darcs.haskell.org/ghc
     5826a77... Pretty printing and debug improvements
     77b05fa... Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
     95fb4b1... Comment out a pprTrace unless DEBUG is on (fix Trac #5929)
     a365a58... Make more primops cheaper
     d55ff2f... Merge branch 'master' of http://darcs.haskell.org/ghc
     4a088f8... Revert "Make more primops cheaper"
     a2ae0d7... Revert "Refactoring in CoreUtils/CoreArity"
     7533607... Revert "Add -faggressive-primops"
     e57c866... Make the interface-file deserialisation work right for promoted types (Trac #6054)
     20e6d9d... More explicit pretty-printing of promoted TyCons with -dppr-debug
     dceecca... Merge branch 'master' of http://darcs.haskell.org//ghc
     081ee17... Egregious typo (fixes Trac #6055)
     2822e00... Document eta expansion under GHC bugs and infelicities
     05b55c6... Get GHCi working on Win64
     2c4cac3... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     0042c47... Fix build of rts/Linker.c on Win32
     8a25d8a... Fix the stage1 ghc hschooks.c
     117c4a8... Fixes for x86/Linux
     e89ef70... More Win32 build fixes
     3457c6b... Fix maintenance of n_blocks in the RTS
     67c793a... Tidy up a remaining glitch in unification
     d1e84be... Merge branch 'master' of http://darcs.haskell.org/ghc
     b04c0be... Wibble to pretty printing
     29cd6f4... Revert "More Win32 build fixes"
     02cf6d6... Revert "Fix build of rts/Linker.c on Win32"
     27e585b... Revert "Get GHCi working on Win64"
     57dae56... Revert "Revert "Get GHCi working on Win64""
     257fa1f... Revert "Revert "Fix build of rts/Linker.c on Win32""
     f36dd8b... Revert "Revert "More Win32 build fixes""
     bf21999... Tell checkProddableBlock how many bytes we want to write
     74eebed... Define _HOST_OS and _HOST_ARCH when calling hsc2hs
     a53c12a... Fix Win64 build now that hsc2hs knows what platform we're on
     afbaa11... Add 'free' to the list of rtsSyms on Win64
     18b4ad9... Win64 Linker improvements
     40c1106... Cast memory primops in the C backend (#5976)
     ac230c5... Allow cases with empty alterantives
     f7c2657... Merge branch 'master' of http://darcs.haskell.org/ghc
     3a8c7c8... More Win64 ghci fixes
     84a9c46... Win64 build fix
     4202879... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     dc4ae7b... Check the calling convention of foreign imported labels is supported
     2bc9d89... Add _getpid to rtsSyms on Win64
     1169351... Fix overnight build breakage (fix from simonpj)
     4f2dfe1... Fix typo in error message (Trac #6076)
     f3c24c5... Follow libffi changes on Windows
     3762105... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     88f694d... Enable and fix building dynlibs on Win64
     a8787ec... Use lnats to avoid overflowing when allocating large amounts
     6dcf001... Install DLLs as executable
     5872bf5... Working towards fixing DLLs on Win64
     f09812d... Fix RTS DLL references on Win64
     9949db0... Fix the way we call strip on DLLs
     fcb19db... Follow changes in haskeline
     b26a1b3... Build fix
     209e375... Fix #6080 & house keeping in Vectorise.Exp
     ada1385... Test for misaligned sections, and fail if we find one
     85ae01b... Fix alignment when loading .a files on Win64
     fdc19e6... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     dd7522c... Yet another major refactoring of the constraint solver
     041d1bc... Add support for .text.startup sections to the Linker
     4614cf6... Adapt to changes in Cabal.
     d7bb8cd... Follow upstream mtl and Cabal, add transformers package (#5958)
     c046197... Move getMonotonicUSec from base to the RTS.
     9fb12e1... Enable FileLock for win32 (#4363)
     4b089db... Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
     2112f43... Be a little less aggressive about inlining (fixes Trac #5623)
     a606905... Cosmetics
     d63e81b... Use fresh uniques when unboxing coercions in the desugarer
     ff10612... Make fresh variables when decomposing Givens
     f7e246b... Merge branch 'ghc-new-flavor'
     4bbd6ba... Simplify the SimplCont data type
     e08cad7... Wibbles to 'simplify the SimplCont data type'
     4c55030... Take care not to mix polymorphic and unlifted bindings in a group
     980372f... Re-do the "function application discount" (fixes Trac #6048)
     1cec00d... Merge branch 'master' of http://darcs.haskell.org//ghc
     c1e928e... Comments only
     50c0681... Initial supercompiler commit
     1ea7885... Port stuff over up until the evaluator itself (infrastructure is in place)
     89091c1... Misc fixes to supercompiler, moving it forward
     86909c0... Commit more work on the porting
     13ed44c... Small fixes
     e416886... More small fixes
     e51b461... Checkpoint (broken)
     bf2ba32... A more plausible checkpoint, but still broken overall
     5b88481... The evaluator finally compiles
     b1011f2... Checkpoint work on matcher
     a444857... Eliminate tabs
     bf8fae9... Matching compiles and should handle new syntax
     ca76f32... Port over the splitter
     c43b42d... Add comment about unfoldings
     6b1a46e... The Process module now compiles
     a6778cb... Support strict lets, coercions as values, write term->CoreSyn conversion
     fa91c6f... Deal with [CoreBind] by going via CoreExpr
     fce2c40... Implement wrappers properly, give PrimOps type arguments
     0bbb48c... Split DataAlt binder list, fix FV calculation, fix code generation for binder->term embedding
     ce15491... Checkpoint better FV calculation in splitter
     559784a... Fix lurking bugs in free variable of Bracketed code, fix splitting of type lambdas
     961326e... Dump debugging code
     f500206... Match types whenever we match Ids: SC now loops because we don't type-abstract enough
     cd931d0... Fix lots of lurking badness in Renaming. InScopeSets are still wrong
     93be0d5... Fixed some missed type renaming in the evaluator primop case
     6c138f5... Use InScopeSet as a real InScopeSet, not an InScopeMap
     931de9f... Fix positive information propagation
     6f6463a... Only bind exported things into the big tuple
     f209ed7... Totally rewrite matcher: detect rigid binder inequality earlier
     7bff7ac... Stop building a ridiculous loop in the matcher
     a4658d9... Only expose unfoldings visible in phase 2
     88b7f83... Cleanup code outside supercompiler directory
     192e207... Add instances for non-1 variants derived from 1 variants, remove some uses of PrettyFunction and Wrapper1
     498cb10... Comment only
     0bbe9d7... Remove my generalisation of VarEn
     7ccd6ea... Initial cut of plugin functionality. Plugin likely won't build
     8db5e67... Fix build of plugin code, write script for installing it inplace (for testing)
     80a02e5... Fix scrutination of cast data with Simon's new dealWithCoercion function
     6585d45... Just in case, unconditionally export primop/dc unfoldings even if we shouldn't
     71462ae... Fix construction of the initial heap from the unfoldings: FVs of unfoldings were not bound
     6d92f39... Eliminate strings from assertions, since they pretty print like lists
     eb54295... Fix subtle bug where annotated variable free variables would not be renamed
     e2b3fa1... Rename free variables in annotation correctly in termToAnswer
     b9e6c7c... Supress warning in Split
     ffa5c71... Don't lose deeds when the evaluator builds a term from a bare Var
     3b675a8... Eliminate some dodgy const fmaps with traverses
     f71dfb7... Must abstract over type varibles as well when refining fulfilment FVs
     3774d47... Improve assertion formatting in step'
     0130952... Try to handle coercion variable substitutions properly
     319a110... Bite the bullet and break out a separate CoApp constructor, fix bugs exposed by its introduction (quite a few)
     ddfbcbe... Comment only
     113770f... Remove some redundant insertion operations on Renaming
     89175e0... Improve splitSubst hack to ensure we don't lose CoVar->CoVar and TyVar->TyVar renamings
     10f7674... Improve pretty-printing of binders in Core (show their types)
     4c43261... sc-rollback was totally busted in my porting effort
     a1c5f5b... Be more fastidious about checking list-length-equality in the supercompiler
     4d50df6... Correct the form of implicit datacon workers: only apply existential TVs
     e1cf97d... The case wildcard binding was totally bogus, and also triggered a deeds assertion
     e195faa... The evaluator was not releasing deeds from coercions inside an Answer
     bfde2ee... More cleanups in the evaluator, fix a bug where too many deeds would be released for cast application
     d981ac3... I was accidentally duplicating coercions on indirections
     6bc0e4b... General cleanup of Core syntax predicates and dead code elimination
     e8b174b... We have to include the universal type arguments in Data or we can't derive a value's type
     89f53f7... More comprehensive treatment of unlifted let bindings: in particular, stop residualising them as LetRecs
     345832a... Huge refactoring of the Bracketed data type so we can thread the correct branch type through to case_ if we use pushStack
     80d2669... Whitespace sanity in zipBracketeds
     6b0f6e3... Fix subtle bugs introduced by recent changes (bindMany was bogus, for example..)
     4782266... Enforce the invariant that Data never includes a newtype DataCon
     3d9f524... Do not assume that the RHS of an unlifted Let is ok-for-speculation
     b3a4c9b... Fix warning, remove dead code
     9ac9f96... Fix to KPush that somehow got missed when I put universal type args in Data
     81a8c51... Use my own pPrintBndr rather than the noisy pprBndr
     028bb61... Add coercionKindNonRepr to work around coercionKind bug
     36daa53... When residualising a term to SDoc, wrap angle brackets around the focus
     ac5c619... Comment only
     1849424... Tweak to Evaluate to prevent a cast answer evaluating to itself in one step (triggers reduce-stop). Still needs work.
     a1ba5fe... Cast things are cheap as well
     f50d849... Add pprPreview2 for comparing certain SDocs within an editor
     bb3a0cb... Tracing logic for reduce-stop fiddle
     2e837ef... TODOs only
     7a40ef0... Warnings only
     a91def9... Ensure we don't wrap answers in spurious refl coercions, for the sake of rule matching
     89e949d... Checkpoint broken explicit process tree
     0559293... Correct partitionFulfilments to only consider each fulfilment at most once. Record holes in the FulfilmentTree to match dropped fulfilments
     51e7ab9... Vastly simplify the FV-sensitive driving loop in Split
     43aa937... Changed some Maybe into real data types
     f099c36... Checkpoint pretty-printing
     3831bdd... Don't rely on Foldable to enumerate eligible fulfilments
     f88d9eb... Simplify a lot of bullshit
     2cbdf8b... Change how we deal with dead variable FV improvement
     bd1cc03... Fill in pretty-printer
     fc9440d1e. Checkpoint pretty printing with ctrl-c handling
     e27886b... More normalised coercions
     753d5d3... Fix stupidity added to OptCoercion
     7754719... Fixes for latest GHC, eliminate refls more agressively, real data type for Coerced
     d7cf9db... Eliminate trivial CastIt frames as well
     b61b975... Wasn't releasing deeds when destroying identity CastIt
     ee4969d... Allow statics to not be printed (cleaner output)
     97e7300... PRety-printing tweaks
     fe12ea1... Bug fixes detected by Lint
     ee1f964... Turn deeds on permanently
     52e27bd... Fix various bugs to do with IdInfo
     77f89c7... Small tweaks, still doesn't work
     50b8d4b... Checkpoint an experiment in process-tree refactoring
     1182ace... Small tweaks
     8f5c280... I may have the perfect refactoring of Process2
     802e601... Checkpoint intermediate DelayM refactoring
     8088569... Checkpoint building version of new process with function to delay folded in
     9775401... Use a functor type parameter to DelayStructure rather than a GADT index
     63c0944... Fill out sc' definition: history still not propagated
     c16f4e6... Generalise the type of memo, for now
     d17c607... Fulfilments in Process2 (well, it typechecks)
     604b3b3... Bring both histories into scope and complete implementation for threaded history
     6db05a3... Good-enough implementation of MonadStatics for now
     4efebd1... Disable deeds by default
     27a163e... Remove redundancies from Process2, fix a bug
     0d340c9... Remove redundant export from Process1
     c55125f... Make process2 the defaulrt
     02523b6... Try not to panic in bindCapturedFloats (still a hack)
     0429934... Add speculation and rollback to Process2
     0e2dbf4... Implement graphical history, thread speculation properly
     9bce977... Refactor in terms of terminateM combinator
     b4103f8... Just rearrange stuff a bit, change the meaning of generated_key
     2ce8f69... Add explicit Parent parameter
     b6bc3a0... Blah blah blah
     e7e1af8... Tracing only
     70ad91a... Absolute rubbish
     c181a9c... Generalise the hack which prevented self-recursive thunks being residualised
     b3e61c0... Add Process3
     fa0ea79... SPeculate in Process3 so we can do (f . g)
     c925d1d... Prevent knot-tying bug in Match
     3971953... Add stop count
     de258ef... Debugging trace upon matching
     0702b1f... Trace depth, trace less
     a8a000d... Match after reduction
     8115435... Record reduction count in reduce'
     670493a... Change Deeds into abstract type, add step limit to it
     9018840... Revert "Record reduction count in reduce'"
     de85001... Claim steps when reducing, ignore deeds for reduce-matching
     48aa16d... Add TODOs, debug outputs..
     259e6f6... Track residualised tags for syntax dup stats
     e53710f... Better pretty-printing for lambdas (more horizontally compact)
     6ced9eb... Avoid overflow when using Deeds maxBound
     c302fb9... Teach the splitter that the body of TyLambdas do not duplicate work
     921490e... Stuff
     2c3692f... Eagerly split values to solve the false-tieback problem (I hope)
     3899bb7... Fix warnings
     8a71f2f... Give DataCons better tags
     167fed1... Ensure we localise AbsVars when building binding sites
     27024dc... Fix free variables when deeply splitting values
     043abae... Do not externalise non-Ids
     7ced16b... Fix Entered information when eager splitting
     4f815dd... Changes with Simon
     d6128ff... Abstract all h-functions over RealWorld#
     7b37a89... Use a VoidRep placeholder that doesn't crash the simplifier
     02ca04f... Was removing too many FVs from the shell
     343b8ac... Small code cleanup to improve the output of RealWorld# arguments
     6f08f8b... Fix long-standing bug in zipBracketeds, exposed by eager value splitting
     854c774... Tweaks to eager value splitting code only
     ee61318... Fix a horrible matching bug that was causing too many binder pairs to be matched rigidly
     4549ab0... Debugging aid: summary of node descendant count
     dd15e91... Comment about indirections only
     fa5cfc0... Comment only
     5851773... Add dEPTH_LIIMT
     4fc8355... Make impossible-alternative-finding code more reusable
     6c485f4... Filter case alternatives in Split to take advantage of type refinement and eliminate stupid default cases
     dac1dfb... Show deepest path in SC at end of supercompilation
     38f41ba... Static-argument-transform some functions that are likely in the inner loop of term matching
     c5eac68... Fix SAT
     480ac43... Remove warning
     ed02c26... Improve deepest-path printing
     16d25e3... Put case-alt refinement under flag control since it may be causing even more divergence in Main5
     d5374d3... Record generalisation info in children tree
     cf0f6dd... Fix map-map fusion >_>
     ee54e4f... Trim imports
     d6689d9... Show all deepest paths, not just one of them
     eb767cf... Add depth histogram, data structure summariser for leaf nodes
     932905e... Comment only
     235e966... Put positive information propagation under Staticflags control and turn it off
     a0e1613... Checkpoint adding exceptions to Process3
     1219132... Rollback
     0f394cd... Introduce CheckOnly memoisation mode
     bcf49e8... Checkpoint work on true instance-matching
     02566ff... Make StaticFlags actualy work as command line arguments
     de136af... I was preventing match too eagerly by counting too many bindings as 'lambdaish'
     854e276... Fix a bug where the talis of a generalised state would not be manifest
     e5fa1ba... Add utility functions for working with mixed type/value applications
     6cf81dd... Redundant import
     3280555... Fix Process summary stats for shallow trees
     6a8fd8b... Some commented prettyprints for speculation
     324b1eb... GC state in speculator to make termination check more lenient
     5297bd7... Rethink skipping in Process3 memoisation
     01c11dd... Put eager value splitting under flag control
     b85fbf2... Have prepareTerm return a preinitialized version of the term as well
     d1b4982... Memo table preinitialization in Process3
     7092279... First version of heap instance-matching
     00c8ffc... Try to deal with the stack in instantiation-copying logic
     fbe7ad2... Pretty print on instance match
     8a11d51... Weaken assertion in gc function
     924f142... Implement instance-matching, including splitter support. This does indeed break map-map
     48ae26a... Small tweaks only
     2d2e20b... GC less agressively in speculation
     5bc0b5a... New implementation of explicit promise tree (cleaner)
     595e672... Use Train data type for promises tree instead (more precise), allow ancestor instance match
     883dcb6... Full (possibly working) instance matching on ancestors, marking of generalised heap bindings/stack
     b24884b... Missing lazy pattern match in eta
     5688858... Add parent tracing to speculation
     254acbf... Be less verbose when showing MatchLRs (terms are too large to include)
     fa91ea7... Remove unused variable
     cf3ba89... Fill out the PtrRep case for when manufacturing dead argument fillers
     caa251b... Comment out match failure trace (very verbose)
     d3bd75e... Remove unused var warnings
     a246e38... Support supplying a set of common variables to the matcher
     bd7d252... Let the splitBy functions report failure
     4b56943... Thread speculation history in attempt to tame huge speculation times
     60e024c... Half-hearted attempt to deal with rollback to non-ancestors
     0db230a... Fix some instances where I had forgotten to consider varBndrFreeVars
     c30fc1d... Redefine tcSplitDFunTy so that it returns the types of the theta as well
     76e2d6a... Put Core-specific type-finding functions in the core module hierarchy
     3d7a447... Fix the DFunUnfolding elaboration so it isn't totally bogus
     0190e41... Remove unused import
     7f4593a... Fix longstanding bug in stateType calculation for primop stack frames
     3ebcf84... Changes to supercompiler code required to build after merge
     8b70add... Explicit import lists from Data.Monoid to prevent <> clash
     e0adb99... SCC annotations all over the supercompiler
     5431587... Preinitalization changes, normalise in eta-expansion: still a bit buggy, see GHC.Base.>>= in exp3_8
     ec50705... Fix a major bug with no-preinit where too many bindings were being eliminated post-speculation + some comments
     8402d15... The to_binds when not preinitalizing are of mixed liftedness
     b896fa8... Another attempt at Binds->Term translation
     8f3fe71... Non-preinitialization binds must go outside h functions
     3b6037c... Zap binders in Binds->Term to work around GHC simplifier weirdness
     89be615... Only abstract over RealWorld# conditionally
     fa53953... Add SUPERCOMPILE pragma
     85be468... Correct flag name for memo cache preinitializatio
     e144ebd... Make use of SUPERCOMPILE pragmas when deciding what to SC
     c027f2e... Correct the circumstances in which SC IdInfo gets ppred
     f5ead43... Fix selective supercompilation: suck in all things *referred to*, not *referring to us*
     cabf31d... When abstracting over variables in the supercompiler, abstract over dictionaries first
     8da007b... Deforest everything in sight
     521b522... Put the bulk of the tracing under flag control
     3234ffd... Carefully rethink what the tag in a CastBy actually means and update the code with the new story
     ddde588... Fix small bug in speculation and add multiple comments
     977fd43... Pretty-print indirection specially
     6972dc8... Note about GCing before match, fixes a termination bug
     cbbb6fa... Correct the commenting-out of the GC call
     f62af23... Garbage collect when determining stateAbsVars since we stopped doing it in reduceForMatch
     4cf0709... In the evaluator, trim stack frames that are unreachable due to bottoming Ids
     b52b1b4... Small comment with data about bernouilli
     2479681... Improve TagBag pretty-printing
     251b7ae... Make children summary info shorter
     5a51410... Change lookupIdSubst to rename global variables if a mapping is available
     2d199e5... Fix possible out-of-scope error in CoreBinds to CoreTerm translation
     3506e62... Fix possible kinding error associated with defaulting dead type variables
     92cbcf2... Rejig AbsVar handling so that dead TyVars get substituted in even at immediate tieback sites
     4f6c5f5... Fix intensely stupid bug in binding partitioning
     15031a3... Fix shadowing bug in DFunUnfoldings that showed up as a lint failure
     8cf2d73... Use localiseId when manufacturing Id for positive information
     83e1155... Try to improve resid-tag tracking
     2ce5cd2... Comment only about evaluatePrim
     6040009... Add SUPERINLINABLE pragma
     511ec13... Add ability to set default inline pragmas for the whole module (can be overriden by specific ones)
     ec2f7fc... Collect reasons as to why unfoldings couldn't be used, experimentally allow non-loopbreaker inlinings
     6c499e6... Collect tags from AltCons as well because of positive information propagation
     d437772... Check shouldExposeUnfolding in the evaluator too
     98ac939... Tag primops specially, skip wrappers for saturated occurrences
     859677f... Comment only
     fdc77e4... Push normalisation in (in the evaluator) in preparation for speculative inlining experiment
     5e91a45... Grow some primitive inlining heuristics in the evaluator
     52e6777... A whole mess of inlining heuristics
     5aa31d1... Disable rules when simplifying stable unfolding to work around GHC.List non-termination
     db8fd4d... Messing with the heuristics
     bc6a883... Generalise residualisation code
     6f53c83... More feedback from ghcHeuristics
     5c99f5b... Start computing unfoldings for GHC's heuristics at the occurrence sites (more reliable)
     a7cf8d9... Start paying attention to loop-breaker-ness again
     7be7c81... Garbage collect in evaluator to detect used-once
     996d414... More debug traces
     9586966... Add option for history tree
     e8691a0... Fix the rollback check, which appeared to be totally broken
     3a164c5... Current best guess at incorporating MSG
     56e6ca5... Checkpoint changes to error reporting
     ab79ca3... Pick up free variables of FV unfoldings correctly when constructing heap
     daf45f1... Correctly deal with recursive binding when MSGing, report better errors upon failure
     541667e... Had the same bugs in matching recursive lets as I did in the MSGer
     97d2022... Tidy some traces, imports
     e3cc6d6... Addendum to previous free vars fix: the InScopeSet also has to include the added FVs
     e524ff3... Ensure we add renamings to both sides when MSGing lambda bound heap bindings
     40663c3... Tidy error message
     37d1c06... Better setting of generalisation flags in MSG
     56c89c4... Ensure we can copy in lambdaBound bindigns for update frames in MSG
     8be1741... Comment only
     fab4a36... Tweak computation of MSG stack generalisation flag
     f3a333a... Remove MonadFix instance for MSG
     ead945c... Fix stupid variable shadowing bug
     9156564... Remove near-useless trace
     355a9c9... MSGing *changes* FVs, so it is invalid to just traverse the Anned constructor. Doh.
     6b68150... Space only
     7e111d4... MSG type instantiations
     81555a5... Make type MSG unfailing
     7454df3... Unfailingly MSG coercions
     1721b87... Comment only
     4b7623b... Brackets only
     50e7af2... Unfailing term MSGing
     9df6981... Experiment: allow common heap binders to clash with left/right heap binders
     0a1f003... Fix a number of potential shadowing bugs in MSG, improve choice of Uniques at the same time
     021e35b... Mark lambda contexts and be selective about what MSG floats from them
     170cee5... Preliminary thoughts about renaming via MSG, invertRenaming
     245bdd8... Incorporate the 'common heap vars' optimisation into MSG
     07e29c3... Add additional check to the common-heap-vars match optimisation
     4684028... Comments about binder MSG only
     1685b29... Deal with non-matching heap binders by forcing generalisation
     a1355a8... Slight cleanup in applyAbsVars: loop with an InScopeSet instead of VarSet
     de1964e... Add the missing PendingTerm handling to MSG
     13c4e4d... Add some FIXMEs
     2b41c3d... A marvellous method for allowing MSG to try to avoid generalisation for (x,e) pairs
     95fd4a1... Add FIXME reminding me to remove PrimOp
     8b96ed2... Tweak comment only
     5ea5aa6... Extensive notes on match loops due to term-term matching
     e736d60... Allow duplication of cheap stuff (not just values) when preparing term unfoldings
     094d50e... Add comment about Indirect
     f20b2f7... FIXME only
     0b86b7a... Some FIXMEs about common-heap-vars optimisation in presence of MSG
     25a4e4b... Further musing about the common-heap-vars hack for MSG
     f79e0c5... Preserve the common-heap-vars invariant in MSG, exploit it more from Process3 (just use InScopeSet)
     596159a... Comment only
     80a4201... Use MSG to implement matching in Process3 (experimentally)
     8b3355f... Comments and commoning-up of InstanceMatching
     ebe007c... Restrict assertion
     007e710... Tweak dead type defaulting
     e7cd0ba... Tweaks to MSG, especially WRT handling of let-bound heapbindings
     d9eac57... Fix major brainfart in msgVarBndr
     c897385... Fix a number of egrarious errors in matching and MSG+MSG-matching
     e8b2ca3... Carefully do inverted-rename on types in invertRenaming
     8229fa6... Add a FIXME about the effects on termination of instance-MSGing
     5725453... Check for kindvar/tyvar mismatch in MSG
     75adf92... Make corresponding TyVar/KindVar changes to Match
     6325e20... Small comments and things
     8e4b2ae... Babysteps towards a better MSG where outgoing occurrences have correct info
     94903de... Add FIXME about rigid occurrence info
     b393485... Some small renamings in Renaming.hs
     8d23383... My MSG common-binder knot was too knotty
     bd4c506... Fix the instantiation check in msgMatch
     23f26fc... Slight cleanup is msgMatch (remove redudant var-kind tests)
     ec93b38... Remove spurious trace
     f4cc350... Correct the types of generalised term binders
     d0da162... Fix some long-standing binder-FV issues, especially in evaluator FVs
     a509ad4... Small tweak to MSG utility function
     eb61876... Suppress warnings when renaming an out term
     a4c1c7b... Comments only
     1d7e6b5... Fix bug in expandTypeSynonyms that could rarely cause problems
     699f273... Remove duplicate export of mkCvSubst
     02ca2e1... Correct calculation of match renaming via inversion
     62cec5c... Ensure kinds are not generalised, and only types of the correct kind
     ffbcbda... Whitespace only
     84819ac... Save some code in MSG by failing lookup of any lambdaBound
     94c7d82... Use new insertVarRenaming when constructing renaming in MSG
     69a6dcf... Support for LitTy in Match/MSG
     67c7e03... Only zap IdInfo for *Id*s
     5cc3d3b... Fix horrendous bug with new insertVarRenaming
     2eefbf2... Rethink how generalisation is written so we can rollback when MSGing
     f286841... Some horrible-looking changes to select most-specific instance (preferring exact matches) and remember non-exact matches in the memo table
     8e6ef76... Always allow type/coercion instantiation in MSG as experiment
     20ff505... Start to try to make type generalisation work. SC will currently crash a lot because I'm working out the termination issues
     a09817c... Comment only, before eliminating Indirect
     dc24164... First compiling version of the changes to eliminate Indirect
     459be0b... Fix some bugs in new evaluator
     b4585b8... Fix some FV issues so that map-map actually doesn't loop
     5d06bb4... Add a FIXME
     bc152fc... Move the notion of shortability to the IdInfo module for reuse in the supercompiler
     e2c9fc7... Instantiating with a stack frame *is* real instantiation
     2cf8360... Comment only
     07302b1... Restrict stack pruning to preserve effectivness of NOINLINE and friends
     ae7aadd... Basic implementation of RightGivesTypeGen to stop panics
     744bbfb... Remove unused import in SimplCore
     9dfe592... Do the uniqAway in MSG all at once to avoid shadowing bugs
     29ab199... Fix eager value splitting with an updated value in focus
     c06362a... Small comments and code movements
     88afcfd... Make core data types a bit more general
     e8ae3b7... Use new design for splitter, only used in Process3 for now
     a4a5a31... Various misc fixes to new splitter so it produces reasonable looking output without error
     46ca464... Small fixes to Split2
     a5031b2... Check deadness after InScopeSet substitution in CoreLint in case OccInfo only updated at binders
     d1417a28.. Check for triviality in renaming before returning a type generalisation
     6298222... Fix small bugs in renaming terms output from the supercompiler
     ab9c02f... Include the init_xes when deciding which extra bindings need to be resid
     b7c6fad... Treat letbounds and lambdabounds as cheap, for gods sake
     6cb88f4... Correctly update type of a Case when pushing frames inside it
     425828f... Remove unreachable nodes in splitter before deciding marking to get better results
     a1ec2fc... Small style fixes etc to the evaluator
     2c1419e... Fiddle with memo_how check fruitlessly
     c57f638... Small simplification to solving loop predecessors map
     9263710... Checkpoint MSG bullshit, REMOVE trace in sc
     484262f... Experimental rewrite of the MSG (currently loops)
     2ce3732... Totally redo evaluation, including the abstract syntax of Answers (no more casts please). Much cleaner
     feb653c... Due to evaluator change we can remove some ugliness from split cheap heap construction
     c48c4d0... Checkpoint some MSG work
     3452b7e... A version of the deterministic MSGer that might be correct
     0df6f2f... First version of MSG rethink that type checks. Removed term gen capabalities while I was at it.
     7d55bbd... A version of MSG where stack initialization takes place in a seperate monad for cleanliness
     fee3f60... Comments only
     30c3d50... Tidy up MSG and make specGenVars non-strict in the knot tied variable
     79010d3... Hack in some examples, not quite working
     49ed3da... Complete MSG examples
     3e6a3ef... Update supercompiler based on latest thinking about correctness (i.e. disable reduce-before-match, skip irred states in memo)
     92c3f74... Ensure we make progress in the evaluator for UPDATE2 rule
     d8ed3e4... Carefully document loopiness in MSG and fix all examples of overeagerness
     2529992... Remove small redundancy
     3431c3c... Fix some potential loops in supercompilation, make matching succeed more often
     46b9179... Fix stupid typo in MSG that was causing even stupider tiebacks
     58d86ee... Eager value splitting in the new splitter for compatability with thesis (don't think it's actually necessary for correctness though)
     2addd84... Tweak debug output
     8b7e0b3... Some comments + changes in how often we instance-match
     9567422... Rewrite speculate to be more logical and simpler.. hopefully it doesn't go exponential
     7181cc0... Revert state in MSG if binderisation fails
     b895304... SC rollback doesn't have to fail, and improve split/generalise decision upon rollback
     2a55fe4... I don't know why I started tying back to dumped promises, but it's a bad idea
     4f3f9f0... Remove some tabs the commit hook is complaining about