[commit: ghc] th-new's head updated: Change the types of typed brackets and splices. (ddbc2dd)

[Geoffrey Mainland]

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

Branch 'th-new' now includes:

     09b025e Wibbles to yesterday's "Simplify kind generalisation" patch
     b80fcce Comment typo
     d8dd3cf Fix crash with large objects (#7919)
     6f36790 Add an echo target to the build system
     2ea79ab Revert "Fix -dynamic-too on Windows"
     20d8e8c Don't try to use -dynamic-too on Windows
     cf7e2fa Accept derived Read on an empty data type (Trac #7931)
     3d0d8d0 Do not do an ambiguity check on the type in a GHCi ":kind" command
     b94e98a Print kinds of non-* tyvar binders in pprTyThing
     efc8ad1 Give 'unboundName' a very low binding precedence
     cfb9bee Check for illegal syntax in types (fixes Trac #7943)
     8aeeb8b Untabify
     df0f026 Untabify
     fcef9f5 Untabify
     52aa5fc Untabify
     c70652a Move renamer splice functionality into a separate module.
     47cd50c Consolidate TH renaming.
     a1af9a2 Add syntactic support for typed expression brackets and splices.
     3d0c588 Add names for TExp type constructor and unType.
     aab6283 Differentiate typed and untyped splices and brackets in the abstract syntax.
     2085dc1 Track the typed/untyped distinction in the current TH stage.
     c7b6697 Check the staging restriction in the renamer.
     7ed67b4 Track TH stage in the renamer.
     c4f17de Add support for typed brackets and splices.
     bdc71c7 Clean up error context when checking brackets/splices.
     cef1d28 Clean up smart constructors for splices.
     6ea5a1a Add support for pattern splices.
     240c497 Add full support for declaration splices.
     2f993ca Code formatting cleanup.
     f59519a Allow splices to add additional top-level declarations.
     ddbc2dd Change the types of typed brackets and splices.