[commit: ghc] wip/T9281's head updated: WIP -- FIXUP wired-in BigNat (bed1a7d3)

git at git.haskell.org git at git.haskell.org
Sat Aug 16 21:19:14 UTC 2014


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

Branch 'wip/T9281' now includes:

     350ed08 Reduce volume of typechecker trace information
     3214ec5 Comments only
     4b3df0b Further improvements to floating equalities
     af28e61 Update Cabal submodule to HEAD (1.21)
     b34fa11 Set i686 as the minimum architecture on 32-bit mingw
     c41b716 travis: Install process via cabal
     99c2823 Document OVERLAP pragmas.
     23cd98f Documentation typo
     8249b50 Comments only
     f23b212 Revert "Update Cabal submodule to HEAD (1.21)"
     1486fc8 ghci: detabify/dewhitespace RtClosureInspect
     d2464b5 parser: detabify/dewhitespace Ctype
     20986a6 parser: detabify/dewhitespace cutils.c
     fcfa8ce profiling: detabify/unwhitespace CostCentre
     fe6381b cmm: detabify/unwhitespace CmmInfo
     ffcb14d cmm: detabify/unwhitespace CmmLex
     bd4e855 ghci: detabify/unwhitespace ByteCodeGen
     23aee51 ghci: detabify/unwhitespace ByteCodeInstr
     3ccc80c main: detabify/unwhitespace PprTyThing
     b5b1a2d prelude: detabify/unwhitespace PrelInfo
     4173ae8 nativeGen: detabify/dewhitespace Size
     a881813 nativeGen: detabify/dewhitespace Reg
     960f4e1 nativeGen: detabify/dewhitespace X86/RegInfo
     7bf273c nativeGen: detabify/dewhitespace PPC/Cond
     e6a32cc nativeGen: detabify/dewhitespace PPC/RegInfo
     e193380 nativeGen: detabify/dewhitespace RegClass
     c754599 nativeGen: detabify/dewhitespace TargetReg
     2f7495d nativeGen: detabify/dewhitespace SPARC/Stack
     b80249d nativeGen: detabify/dewhitespace SPARC/Imm
     234afe2 nativeGen: detabify/dewhitespace SPARC/ShortcutJump
     ef07ff7 nativeGen: detabify/dewhitespace SPARC/Instr
     25c4629 nativeGen: detabify/dewhitespace SPARC/Regs
     8707e45 nativeGen: detabify/dewhitespace SPARC/Cond
     9924de2 nativeGen: detabify/dewhitespace SPARC/CodeGen/CondCode
     6babdc8 nativeGen: detabify/dewhitespace SPARC/CodeGen/Amode
     085713f nativeGen: detabify/dewhitespace SPARC/CodeGen/Expand
     5ef0050 nativeGen: detabify/dewhitespace SPARC/CodeGen/Sanity
     2ff9b90 nativeGen: detabify/dewhitespace SPARC/CodeGen/Gen32
     8a8bc420 nativeGen: detabify/dewhitespace SPARC/CodeGen/Base
     3c5fc8e utils: detabify/dewhitespace Digraph
     893a4bf types: detabify/dewhitespace Kind
     18b2c46 Add PolyKinds extension to Data.Monoid
     00dd05e Adding more parser exports and some documentation.
     d996a1b fix inconsistency in exported functions from TcSplice.lhs/lhs-boot files when GHCI is not defined
     fb936e0 Make GHCi permissions checks ignore root user.
     80868ec rts: drop unused 'SpinLockCount' typedef
     e0d4386 Data.List: Unterse/Obvious comment regarding CPP
     021b797 driver: use absolute paths in ld scripts (#7452)
     2b860ef utils: delete obsolete heap-view program
     ad785f6 utils: remove old pvm scripts
     828e641 vagrant: move files around
     d3277f4 Revert "travis: Install process via cabal"
     4dd7ae6 Typos in note
     bb06e2a Make 'ghc' a wired in package.
     d7c807f [ghc-pkg] Fix #5442 by using the flag db stack to modify packages.
     2ad04d0 Update upstream Git repo url for `time` package
     a9445f8 arclint: update linting configuration
     2c12d9e docs: Remove obsolete Visual Haskell document
     c26bba8 docs: Delete old docbook cheat sheet
     4bebab2 Rename PackageId to PackageKey, distinguishing it from Cabal's PackageId.
     0acd70a Documentation for substringCheck.
     80ab62d Update Cabal submodule to HEAD (1.21)
     9960afe Always qualify on hi interface mismatch.
     7aabfa6 Unbreak the build on FreeBSD/i386, where the default target arch is i486.
     b709f0a Make last a good consumer
     1db9983 Rewrite package/module identity section
     6e9e855 Add a summary section.
     505358c Definite compilation is a go
     e408678 Write up rename on entry
     d1f17f5 Ignore tix files.
     eb795ec Duplicate word
     23773b2 X86 codegen: make LOCK a real instruction prefix
     c11b35f Fix test for fetchNandIntArray#
     fc53ed5 Add missing memory fence to atomicWriteIntArray#
     d294218 Fixed issue with detection of duplicate record fields
     6ce708c Use the right kinds on the LHS in 'deriving' clauses
     a997f2d Check for boxed tau types in the LHS of type family instances
     2070a8f [backpack] Rewrite compilation to be cleaner.
     92587bf Refactor FFI error messages
     dae46da Update test suite output
     7f5c1086 Module reexports, fixing #8407.
     9487305 Fix build on OS X due to macro-like string in comment
     97f499b Implement OVERLAPPING and OVERLAPPABLE pragmas (see #9242)
     5dc0cea Comments only
     57ed410 Increase precision of timings reported by RTS
     ba00258 Support ghc-pkg --ipid to query package ID.
     546029e Add reexported modules to the list of IPID fields.
     a62c345 Don't call installed package IDs 'package IDs'; they're different.
     34d7d25 rts: delint/detab/dewhitespace EventLog.c
     426f2ac rts: delint/detab/dewhitespace GetEnv.c
     cebd37f rts: delint/detab/dewhitespace GetTime.c
     d72f3ad rts: delint/detab/dewhitespace Itimer.c
     b1fb531 rts: delint/detab/dewhitespace OSMem.c
     3e0e489 rts: delint/detab/dewhitespace OSThreads.c
     875f4c8 rts: delint/detab/dewhitespace TTY.c
     22308d7 rts: delint/detab/dewhitespace Signals.h
     386ec24 rts: delint/detab/dewhitespace Signals.c
     ded5ea8 rts: delint/detab/dewhitespace Select.c
     3021fb7 rts: delint/detab/dewhitespace win32/AsyncIO.c
     fdcc699 rts: delint/detab/dewhitespace win32/AsyncIO.h
     b64958b rts: delint/detab/dewhitespace win32/AwaitEvent.c
     ab24d0b rts: delint/detab/dewhitespace win32/ConsoleHandler.c
     20b506d rts: delint/detab/dewhitespace win32/GetEnv.c
     59b6ea8 rts: delint/detab/dewhitespace win32/GetTime.c
     94fba59 rts: delint/detab/dewhitespace win32/IOManager.h
     36bbec0 rts: delint/detab/dewhitespace win32/IOManager.c
     976c55c rts: delint/detab/dewhitespace win32/OSMem.c
     43345dd rts: delint/detab/dewhitespace win32/OSThreads.c
     9aa9d17 rts: delint/detab/dewhitespace win32/ThrIOManager.c
     316c0d5 rts: delint/detab/dewhitespace win32/WorkQueue.h
     9e8d258 rts: delint/detab/dewhitespace win32/WorkQueue.c
     4f5966b rts: delint/detab/dewhitespace Arena.c
     a4aa6be rts: detab/dewhitespace FileLock.c
     2e1a0ba rts: delint FileLock.c
     4a09baa rts: delint/detab/dewhitespace Globals.h
     7ee0b63 rts: delint/detab/dewhitespace Hash.c
     f2a3f53 rts: detab/dewhitespace Messages.c
     1c89c96 rts: delint Messages.c
     48cae79 rts: delint/detab/dewhitespace OldARMAtomic.c
     42f3bdf rts: delint/detab/dewhitespace Papi.c
     ad36b1a rts: delint Papi.c
     a0fa13b rts: delint/detab/dewhitespace Papi.h
     7113370 rts: delint/detab/dewhitespace PosixSource.h
     de5a4db rts: delint/detab/dewhitespace RetainerSet.h
     ee0fd62 rts: delint/detab/dewhitespace RetainerSet.c
     f81154f rts: delint/detab/dewhitespace RtsDllMain.c
     60c6bd4 rts: delint/detab/dewhitespace RtsDllMain.h
     d765359 rts: delint/detab/dewhitespace StgRun.h
     a6fc4bd rts: delint/detab/dewhitespace ThreadLabels.c
     95378c2 rts: detab/dewhitespace ThreadPaused.c
     cf2980c rts: detab/dewhitespace WSDeque.h
     952f622 rts: detab/dewhitespace WSDeque.c
     39b5c1c rts: add Emacs 'Local Variables' to every .c file
     cc37175 do not link with -lrt on Solaris for threaded way
     524f15d add Solaris' linker warning messages filtering into link phase
     b9be82d Avoid to pass a socket to setmode/isatty in Windows
     4ee8c27 use GHC-7.8.3's values for thread block reason (fixes #9333)
     9a7440c Add Functor, Applicative, Monad instances for First, Last
     003bcf2 Do not check permissions when running find on Windows.
     8240312 driver: Fix usage of '$0' in ghcii.sh (#8873)
     b126ad3 Don't clean away inplace/mingw and inplace/perl.
     f510c7c base: make System.IO.openTempFile generate less predictable names
     b1f4356 Fix validate fallout
     c1336f7 rts: Detab OSThreads.c
     b6d5229 getCoerbileInsts: Move the two NT-unwrapping instances together
     12644c3 New parser for pattern synonym declarations:
     40e7774 Add parser support for explicitly bidirectional pattern synonyms
     0279a7d Typechecker support for explicitly-bidirectional pattern synonyms
     d84a5cc Add renamer support for explicitly-bidirectional pattern synonyms
     25c2eeb tcLookupPatSyn: look up the PatSyn record for a given Id
     6a78503 Typecheck the wrapper definition of a pattern synonym, after everything in the same scope is typechecked
     32bf8a5 When computing minimal recursive sets of bindings, don't include references in wrapper definitions for explicitly-bidirectional pattern synonyms
     f3262fe Add test cases for explicitly-bidirectional pattern synonym
     893a261 Refactor PatSynBind so that we can pass around PSBs instead of several arguments
     3219ed9 Add note about renaming of pattern synonym wrappers
     535b37c Add user documentation for explicitly-bidirectional pattern synonyms
     6640635 Fix variable name typo from commit 3021fb
     b06e83d Make mod73 test insensitive to minor variations (#9325)
     a2439c7 Add .gitignore line for stage=1 testsuite generated file
     1837b2f comment update
     da70f9e Allow multiple entry points when allocating recursive groups (#9303)
     ab8f254 Comments and white space
     49333bf Comments and minor refactoring
     6fa6caa Compiler perf has improved a bit
     a0ff1eb [backpack] Package selection
     0be7c2c Comments and white space
     dc7d3c2 Test Trac #9380
     7381cee Add a fast-path in TcInteract.kickOutRewritable
     fe2d807 Comments only
     bfaa179 Add comments about the {-# INCOHERENT #-} for Typeable (f a)
     1ae5fa4 Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242)
     c97f853 Typo in comment
     fd47e26 Fix up ghci044
     bdf0ef0 Minor wordsmithing of comments
     58ed1cc Small tweaks to comment
     1c1ef82 Typo fixes
     52188ad Unbreak build.
     3b9fe0c refactor to fix 80column overflow
     6483b8a panic message fix
     9d9a554 interruptible() was not returning true for BlockedOnSTM (#9379)
     028630a Fix reference to note
     aab5937 update comment
     6c06db1 add a comment
     2989ffd A panic in CmmBuildInfoTables.bundle shouldn't be a panic (#9329)
     d4d4bef Improve the desugaring of RULES, esp those from SPECIALISE pragmas
     8df7fea Bump haddock.base max_bytes_used
     3faff73 [backpack] More revisions to various pieces.
     0336588 Two new executables to ignore.
     02975c9 Fix-up to d4d4bef2 'Improve the desugaring of RULES'
     578fbec Dont allow hand-written Generic instances in Safe Haskell.
     e69619e Allow warning if could have been infered safe instead of explicit Trustworthy label.
     105602f Update Safe Haskell typeable test outputs.
     fbd0586 Infer safety of modules correctly with new overlapping pragmas.
     ab90bf2 Add in (disabled for now) test of a Safe Haskell bug.
     f293931 Add missing *.stderr files
     44853a1 Terminate in forkProcess like in real_main
     df1e775 docs: fix typo: 'OVERLAPPINGP' -> 'OVERLAPPING'
     637978f Use 'install' command for 'inplace/' install as we do in 'make install'
     65e5dbc fix linker_unload test on Solaris/i386 platform
     f686682 ghc --make: add nicer names to RTS threads (threaded IO manager, make workers)
     7328deb fix openFile003 test on Solaris/i386 (platform output is not needed anymore)
     1f24a03 fix topHandler03 execution on Solaris where shell signals SIGTERM correctly
     edff1ef Disable package auto-hiding if -hide-all-packages is passed
     66218d1 Package keys (for linking/type equality) separated from package IDs.
     3663791 Disable ghc-pkg accepting multiple package IDs (differing package keys) for now.
     de3f064 Make PackageState an abstract type.
     00b8f8c Refactor package state, also fixing a module reexport bug.
     4accf60 Refactor PackageFlags so that ExposePackage is a single constructor.
     2078752 Thinning and renaming modules from packages on the command line.
     94b2b22 [no-ci] Minor bugfixes in Backpack docs.
     7479df6 configure.ac: drop unused VOID_INT_SIGNALS
     56ca32c Update Haddock submodule to know about profiling.
     d360d44 Filter out null bytes from trace, and warn accordingly, fixing #9395.
     c88559b Temporarily bump Haddock numbers; I'm going to fix it.
     8e400d2 Revert "fix linker_unload test on Solaris/i386 platform"
     f4904fb Mark type-rep not as expect_broken when debugged
     f42fa9b fix linker_unload test _FILE_OFFSET_BITS redefined warning on Solaris/i386
     2b3c621 fix linker_unload test for ghc configurations with --with-gmp-libraries
     24a2e49 fix T658b/T5776 to use POSIX grep -c instead of GNU's --count
     61baf71 Comments and white space
     31399be Move Outputable instance for FloatBind to the data type definition
     d3fafbb Tiny refactoring, plus comments; no change in behaviour
     93b1a43 Add Output instance for OrdList
     6b96557 Make Core Lint check the let/app invariant
     1736082 Don't float into unlifted function arguments
     1fc60ea When desugaring Use the smart mkCoreConApps and friends
     d174f49 Make buildToArrPReprs obey the let/app invariant
     db17d58 Document the maintenance of the let/app invariant in the simplifier
     ab6480b Extensive Notes on can_fail and has_side_effects
     8367f06 Refactor the handling of case-elimination
     0957a9b Add has_side_effets to the raise# primop
     2990e97 Test Trac #9390
     18ac546 Fix some typos in recent comments/notes
     4855be0 Give the Unique generated by strings a tag '$', fixes #9413.
     d026e9e Permanently accept the Haddock performance number bump, and add some TODOs
     c51498b [no-ci] Track Haddock submodule change: ignore TAGS.
     af1fc53 ghci: tweak option list indentation in ':show packages'
     2cca0c0 testsuite: add signal_exit_code function to the driver
     d0ee4eb Update perf number for T5642
     7d52e62 Update Haddock to attoparsec-0.12.1. Adjust perf.
     dff0623 Implement the final change to INCOHERENT from Trac #9242
     ca3fc66 Fix path in cabal file
     16776e9 configure.ac: drop unused HAVE_BIN_SH
     a2ac57b Tweak Haddock markup in GHC.Magic
     4e020b3 Tweak Haddock in GHC.Types
     44c1e3f testsuite: add list of llvm_ways
     caa9c8aa Add test case for #9013
     8e01ca6 Remove obsolete "-- #hide" Haddock pragmas
     b7b7633 Add a test for plusWord2#, addIntC#, subIntC#
     e83e873 Clarify documentation of addIntC#, subIntC#
     3260467 systools info: fix warning about C compiler (message said about linker)
     ba9277c Tweak linting rules.
     02be4ff fix T4201 to avoid GNU grep specific -B option by usage of pure POSIX tools
     2396940 fix T4981-V3 and T9208 tests for no newline at end of file warning
     ba3650c fix T4981-V3 to avoid DOS line endings
     bb00308 Don't build or test dph by default
     238fd05 change topHandler02/topHandler03 tests to use signal_exit_code function
     7a754a9 rts/Printer.c: drop zcode mangling/demangling support in C code
     b02fa3b rts: Remove trailing whitespace and tabs from Printer.c
     8d90ffa fix darwin threaded static linking by removing -lpthread option #9189
     cbfa107 Improve seq documentation; part of trac issue #9390
     c80d238 Eliminate some code duplication in x86 backend (genCCall32/64)
     5f5d662 Make IntAddCOp, IntSubCOp into GenericOps
     71bd4e3 x86: Always generate add instruction in MO_Add2 (#9013)
     8e64151 stg/Prim.h: drop redundant #ifdef
     6e3c44e Unbreak travis by not passing --no-dph
     0a3944c testsuite/base: update .gitignore
     3694d87 Re-add `--no-dph` option to ./validate
     3669b60 Add bit scan {forward,reverse} insns to x86 NCG
     9f285fa Add CMOVcc insns to x86 NCG
     6415191 x86: zero extend the result of 16-bit popcnt instructions (#9435)
     a09508b Test #9371 (indexed-types/should_fail/T9371)
     f29bdfb Fix Trac #9371.
     1b13886 Fix #9415.
     1a3e19d Test #9415 (typecheck/should_fail/T9415)
     8d27c76 Test #9200. (polykinds/T9200)
     6485930 Change definition of CUSK for data and class definitions (#9200).
     3dfd3c3 Added more testing for #9200. (polykinds/T9200b)
     b2c6167 Change treatment of CUSKs for synonyms and families (#9200).
     578377c Remove NonParametricKinds (#9200)
     1c66b3d Update manual (#9200).
     91a48c5 Testsuite wibbles around #9200
     6f862df shouldInlinePrimOp: Fix Int overflow
     a6fd7b5 Add some Haddocks to SMRep
     4342049 StgCmmPrim: add note to stop using fixed size signed types for sizes
     5e46e1f Have ghc-pkg use an old-style package key when it's not provided.
     2272c50 Explicitly version test for package key support.
     6b5ea61 Remove out of date TODO
     e0c1767 Implement new CLZ and CTZ primops (re #9340)
     03a8003 Declare `ghc-head` to be haddock's upstream branch
     5895f2b LlvmMangler: Be more selective when mangling object types
     d39c434 Make configure's sed(1) expression for GHC_LDFLAGS more BSD-friendly.
     246436f Implement {resize,shrink}MutableByteArray# primops
     72a94c1 Implement `decodeDouble_Int64#` primop
     91ef3b4 Implement new integer-gmp2 from scratch (re #9281)
     db4f271 Remove obsolete `digitsTyConKey :: Unique`
     bed1a7d3 WIP -- FIXUP wired-in BigNat


More information about the ghc-commits mailing list