[commit: ghc] th-new's head updated: Add support for Template Haskell state. (6f4cba0)

[Geoffrey Mainland]

Repository : http://darcs.haskell.org/ghc.git/

Branch 'th-new' now includes:

     1ed0409 Make 'SPECIALISE instance' work again
     5949ff2 Refine 'type_determines_value' in Specialise.  Fix Trac #7785.
     8d49ef1 Use new TcHsType.zonkSigType to establish Type invariants
     936001c Improve validity check to give better error message
     827cc50 Eta-reduce data/newtype family instance axioms (Trac #4185)
     30059bd Fix Read for empty data types (again; Trac #7931)
     bc5bf1b Remove an out-of-date comment
     ac330cb Add a primitive for coercing values into dictionaries in a special case.
     896d0f1 When verbose, give more information about cache status
     26c7d94 Run ghc-pkg check during validate
     7849266 Merge branch 'master' of http://darcs.haskell.org/ghc
     3d81b68 Define chkAppend, and use it
     d0ecba6 Fix a trailing case in making FamInstTyCon, where the invariant didn't hold, leading to subsequent chaos. Happily an ASSERT caught it.
     192a8f9 set DYNAMIC_GHC_PROGRAMS to NO if platform does not support shared libs
     8e51a7a add arm-unknown-linux to platforms which do not support shared libs
     fc9229d Build statically when using LLVM.
     da345e4 Use the symmetric version of the newtype coercion.
     f83994e Add a comment
     8c4d1ea Fix a comment
     f05cbb1 Untabify
     f39ca29 Untabify
     a740302 Untabify
     9a2f8cc Untabify
     bc44435 Add the ability to customize the continuation prompt.
     22e5b88 Formatting only: fix alignment.
     9ac83e9 Reformat help message for `:show` to fit into 80 cols again.
     cef115f Whitespace only
     d43d63f Fix thunk leak in CoreM's CoreWriter
     2642fe6 Update docs for "set prompt2"
     4770877 Imrove Lint to check unfoldings
     967f746 Fix panic on deriving a nullary typeclass (#7959)
     da4ff65 Comments and white space only
     99d4e5b Implement cardinality analysis
     507c897 Comments about the Name Cache
     6265312 Wibbles (merg-os) to ticky-ticky
     a1a67b5 Add TyCon.checkRecTc, and use in in typeArity
     9b817e5 Remove bogus-looking check, which was causing Trac #7894
     3e7e5ba Use checkRecTc to improve demand analysis slightly
     6673386 Transfer strictness on trivial right-hand sides
     4669c9e Add important missing case for bothCPR
     b2ba8ae Make the simplifier propagate strictness through casts
     9616743 Take proper account of over-saturated functions in CoreUnfold
     7f2a10f Better computeDiscount for ValAppCtxt
     821b077 Traces and comments only
     c0e4eef Whitespace only in compiler/simplCore/CSE.lhs
     cfe92a8 Remove old representation of CSEnv; part of #5996
     a28731b Add --show-options to list all flags (Fixes #7843)
     0d86038 Improve the version numbers generated by the build system
     972c044 use libffi for iOS adjustors; fixes #7718
     16dc39e Outline 7.8.1 release notes.
     1c5b051 Add support for byte endian swapping for Word 16/32/64.
     86ca77e Fix warnings
     6388932 Merge branch 'master' of http://darcs.haskell.org/ghc
     f7c8c3d Whitespace only
     68ba223 Fix a comment
     22690c9 Remove ghc.spec
     96eca81 Change how we check that we have a suitable 'make'
     4c49772 Rarrange the distclean list; part of #7941
     31b2706 Don't create mk/stamp-h
     8c846f7 Fix substitution but in liftCoSubst (Trac #7973)
     0239d78 Fix egregious typo in cmpTypeX
     1cbfddb Make sure we quantify over the context in data constructors
     fc927b3 Trace statements only
     6ecfa98 Actually make the change described in 'Fix egregious typo in cmpTypeX'
     716c2ae Merge branch 'master' of http://darcs.haskell.org/ghc
     57fa437 punctuation in comment
     2f9278d Typo in comment
     91979ed Revert "Add support for byte endian swapping for Word 16/32/64."
     4aa7fc8 Comment out function; consequence of reverting a553f18
     262cab0 Fix the constraint simplifier (Trac #7967)
     355d57a Remove trace that sometimes causes a loop
     289be61 Remove dead code
     627f982 Move renamer splice functionality into a separate module.
     af60788 Consolidate TH renaming.
     92b2e4e Add syntactic support for typed expression brackets and splices.
     6356813 Add names for TExp type constructor and unType.
     1893499 Differentiate typed and untyped splices and brackets in the abstract syntax.
     147bb85 Track the typed/untyped distinction in the current TH stage.
     97d316b Check the staging restriction in the renamer.
     30a19ba Track TH stage in the renamer.
     51ca37f Add support for typed brackets and splices.
     85813f6 Clean up error context when checking brackets/splices.
     fe521cc Clean up smart constructors for splices.
     a9abb46 Add support for pattern splices.
     03e0ea6 Add full support for declaration splices.
     1301b10 Code formatting cleanup.
     a167aa5 Allow splices to add additional top-level declarations.
     753ebe2 Change the types of typed brackets and splices.
     418a334 Add support for Template Haskell module finalizers.
     6f4cba0 Add support for Template Haskell state.