[commit: ghc] type-nats's head updated: Merge remote-tracking branch 'origin/master' into type-nats (1dd9b1a)

[Iavor Diatchki]

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

Branch 'type-nats' now includes:

     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
     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