[commit: ghc] wip/T10613's head updated: DmdAnal, temporary hack: Remember which “Many” are boring (ca80c12)

git at git.haskell.org git at git.haskell.org
Fri Jun 17 08:36:45 UTC 2016


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

Branch 'wip/T10613' now includes:

     5adf8f3 Document -fmax-pmcheck-iterations a bit better
     a0e1051 Recommend more reliable recourse for broken nm
     57c636f Update nofib submodule to nofib master
     fa3ba06 Expand the comment on pprVarSet
     82538f6 Kill varSetElems in injImproveEqns
     af6dced Comments only
     a2abcf6 Minor improvement to error message
     1e86cab Comments only
     9ed57d6 Remove unused unifyType_
     4c746cb Add missing solveEqualities
     3dce4f2 Refactor RecordPatSynField, FieldLabel
     c4dd4ae Better documentation of -XConstrainedClassMethods
     c5b1014 Fix debug-only check in CoreLint
     546f24e Revert "Use __builtin_clz() to implement log_2()"
     3a53380 Kill unused foldOccSet
     196ce62 Testsuite: delete accidentally committed .stderr.normalised file
     89c6d07 Testsuite: add -ignore-dot-ghci to some ghci tests [skip ci]
     9dc34d3 Testsuite: fix T11223_simple_(unused_)duplicate_lib
     b0569e8 Testsuite: benign test fixes
     3c426b0 Add uniqSetAny and uniqSetAll and use them
     7312923 Kill mapUniqSet
     32c0aba Testsuite: delete -fesc tests
     e20b3ed Testsuite: delete T5054 and T5054_2 (#5054)
     bcfee21 rts/LdvProfile.c: Fix NULL dereference on shutdown
     f255f80 Linker: Fix implicit function declaration warning on OS X
     6e195f4 Remove unused foldFsEnv
     031de8b Remove unused foldNameEnv
     f99db38 Fix path to the new build system, now called Hadrian.
     0fa1d07 testsuite: fix up T11223's Makefile
     a2970f8 RTS: delete BlockedOnGA* + dead code
     c5919f7 Remove the incredibly hairy splitTelescopeTvs.
     7242582 Test #11484 in th/T11484
     00053ee Fix typo: Superclases -> Superclasses
     b725fe0 PPC NCG: Improve pointer de-tagging code
     c4259ff Testsuite: make CLEANUP=1 the default (#9758)
     2ae39ac Testsuite: accept new output for 2 partial-sigs tests
     2fe7a0a Fix reference to Note in TcCanonical
     cb05860 Comment typos: Mkae -> Make, Hsakell -> Haskell
     49bae46 Comment typo: unambigious -> unambiguous
     f69e707 Typos in DmdAnal
     e6627d1 Fix aggressive cleanup of T1407
     868d2c4 rts: Remove deprecated C type `lnat`
     eac6967 users-guide: Add index entry for "environment file"
     18676a4 Bump haddock submodule
     533037c Greater customization of GHCi prompt
     16a51a6 rts: Close livelock window due to rapid ticker enable/disable
     65e13f6 rts: Split up Itimer.c
     df9b772 Catch errors from timerfd_settime
     55f4009 Kill Itimer.h
     999c464 rts/itimer/pthread: Stop timer when ticker is stopped
     116d3fe Remove unused getScopedTyVarBinds
     1161932 Add T11747 as a test
     ecc0603 deriveConstants: Fix nm advice one last time
     a28611b Export constructors for IntPtr and WordPtr
     ea34f56 Remove unused equivClassesByUniq
     cd85dc8 Make sure record pattern synonym selectors are in scope in GHCi.
     db2bfe0 added docstring for '-fhistory-size' flag
     81d8a23 glasgow_exts.rst: fix quoting
     c5be5e2 docs/users_guide/glasgow_exts.rst: fix merge conflict
     fa86ac7 Make validDerivPred ignore non-visible arguments to a class type constructor
     36d29f7 StaticPointers: Allow closed vars in the static form.
     5f8c0b8 Revert "Revert "Use __builtin_clz() to implement log_1()""
     ef44606 Cleanups related to MAX_FREE_LIST
     0051ac1 Update libraries/hpc submodule to v0.6.0.3 release tag
     4466ae6 Update bytestring submodule to 0.10.8.0 release tag
     50e7055 Export oneShot from GHC.Exts
     f9d9375 Adjust testsuite output to bytestring-0.10.8.0
     76ee260 Allow limiting the number of GC threads (+RTS -qn<n>)
     f703fd6 Add +RTS -AL<size>
     1fa92ca schedulePushWork: avoid unnecessary wakeups
     dbcaa8c Don't STATIC_INLINE giveCapabilityToTask
     aa5e2dd Make 'make fast' work for the User Guide
     b75d194 Be more aggressive when checking constraints for custom type errors.
     4f2afe1 testsuite: Add test for #11959
     763610e base: Export runRW# from GHC.Exts
     ad4392c Kill non-deterministic foldUFM in TrieMap and TcAppMap
     db9de7e rts: Replace `nat` with `uint32_t`
     e340520 Comments only explaining export list parsing.
     94f2ee1 Explain linter optimization for StaticPtr checks.
     990ce8c Use tcExtendGlobalValEnv for default methods
     ecc1d58 Update Win32 submodule to v2.3.1.1 release tag
     018487e Fix pretty printing of IEThingWith
     fe190ae Remove trailing whitespace from 'testsuite/tests/module/all.T'
     633b099 Update time submodule to 1.6.0.1 release tag
     8e5776b rts/ProfHeap.c: Use `ssize_t` instead of `long`.
     dd3e847 Documentation for simplifyDeriv.
     260a564 Use stdint types for Stg{Word,Int}{8,16,32,64}
     2593e20 White space only
     76d9156 Emit wild-card constraints in the right place
     cc75a5d Comments only
     e1ff2b4 Fix partial sigs and pattern bindings interaction
     9dbf5f5 Tidy up partial-sig quantification
     bb296bf Error message wibbles, re partial type sigs
     0597493 Re-do the invariant for TcDepVars
     3ca7806 stg/Types.h: Fix comment and #include
     53f26f5 Forbid variables to be parents in import lists.
     e996e85 RdrHsSyn: Only suggest `type` qualification when appropriate
     ea3d1ef Fix a crash in requestSync()
     bff6e1b Comments only
     4ac0e81 Kill unnecessary cmpType in lhs_cmp_type
     b58b0e1 Make simplifyInstanceContexts deterministic
     a4717f5 Comments about static forms
     b21e8cc Comments only
     e7e5939 Add Outputable ShowHowMuch
     e24b50c Use partial-sig constraints as givens
     1a43783 Record that EqualityConstraint now works
     f6e58be Test Trac #11640
     7e28e47 Get rid of Traversable UniqFM and Foldable UniqFM
     402f201 Fix typos
     ab91b85 make accept for Make simplifyInstanceContexts deterministic
     e207198 Kill foldUFM in classifyTyCon
     8669c48 Document why closeOverKind is OK for determinism
     584ade6 RtsFlags: Make `mallocFailHook` const correct
     0efbf18 rts: Fix C compiler warnings on Windows
     9363f04 Handle promotion failures when scavenging a WEAK (#11108)
     0e71988 Remove some varSetElems in dsCmdStmt
     3edbd09 Document SCC determinism
     cfc5df4 Fix ASSERT failure and re-enable setnumcapabilities001
     2a0d00d Make random an "extra" package
     86a1f20 Remove a copy of System.Random and use reqlib('random')
     b5f85ce Remove stale comment.
     da105ca Don't prematurely force TyThing thunks with -ddump-if-trace.
     925b0ae Make absentError not depend on uniques
     eae3362 docs: add skeleton 8.2.1 release notes
     e217287 Bump haddock submodule
     c079de3 Add TH support for pattern synonyms (fixes #8761)
     e53f218 Fix deriveTyData's kind unification when two kind variables are unified
     b8e2565 Make Generic1 poly-kinded
     6971430 Allow putting Haddocks on derived instances
     01bc109 Document zonkTyCoVarsAndFV determinism
     6bf0eef Kill varEnvElts in specImports
     69c974f Use StgHalfWord instead of a CPP #if
     995cf0f rts: Make function pointer parameters `const` where possible
     0c0129b RtsUtils: Use `size_t` instead of `int` where appropriate
     7c0b595 Fix comments about scavenging WEAK objects
     5416fad Refactor some ppr functions to use pprUFM
     bd01bbb Test Trac #12039
     8e48d24 Bump haddock submodule
     e4834ed Fix a performance issue with -fprint-expanded-synonyms
     c974927 Update bytestring submodule to 0.10.8.1 release tag
     bf669a0 Bump haddock submodule
     2dbdc79 PPC NCG: Fix pretty printing of st[wd]ux instr.
     563a485 PPC: Implement SMP primitives using gcc built-ins
     d78faa1 testsuite/ImpSafe03: Normalize version of bytestring
     eed820b Move Extension type to ghc-boot-th
     21fe4ff Kill varSetElems in tcInferPatSynDecl
     d20d843 Another bump of haddock submodule
     7814420 Remove html_theme requirement of haddock docs
     4a037a9 Set `USE_MMAP` at configure time
     770d708 Add ghc-boot-th to rules/foreachLibrary
     dc94914 Document determinism in shortOutIndirections
     3f3dc23 Testsuite: run tests in /tmp after copying required files
     1a9ae4b Testsuite: delete old cleanup code (#11980)
     a9dd9b7 Testsuite: delete unused file [skip ci]
     c92cfbc Testsuite: don't skip concio001 and concio001_thr
     931b3c7 Delete libraries/ghci/GNUmakefile [skip ci]
     a54d87a rules: Fix name of ghc-boot-th library
     5d80d14 rules/build-prog: Ensure programs depend upon their transitive deps
     33c029d rts: More const correct-ness fixes
     b088c02 Testsuite: T10052 requires interpreter (#11730)
     3251743 Testsuite: don't warn when mk/ghcconfig_* hasn't been created yet
     77ee3a9 Update .mailmap [skip ci]
     fffe3a2 Make inert_model and inert_eqs deterministic sets
     f0f0ac8 Fix histograms for ticky code
     ba3e1fd Add a test for #11108
     39a2faa Rework parser to allow use with DynFlags
     310371f rts: Add isPinnedByteArray# primop
     f091218 CLabel: Catch #11155 during C-- pretty-printing
     9dd0481 Add (broken) test for #12063.
     5f1557e Failing test case for #12076.
     f18e8d8 rts: Add missing `const` from HashTable API
     6282bc3 Kill varSetElems in tidyFreeTyCoVars
     13e40f9 Kill varEnvElts in tcPragExpr
     72b677d Fix Trac #12051
     ad7f122 Improve pretty-printing of equalities
     f9e90bc Improve documentation for type wildcards
     0bfcfd0 Comments only
     d1efe86 Comments only
     358567a testsuite: Add expected output for T11108
     470def9 Testsuite: fix T11827 (#11827)
     296b8f1 Add libraries/ghci/GNUmakefile to .gitignore [skip ci]
     f0f3517 Remove use of caddr_t
     8abc193 Get types in osFreeMBlocks in sync with osGetMBlocks
     464b6f8 {,M}BLOCK_SIZE_W * sizeof(W_) -> {,M}BLOCK_SIZE
     2e6433a testsuite: Add a TypeRep test
     a88bb1b Give lifted primitive types a representation
     1ee47c1 Use the correct return type for Windows' send()/recv() (Fix #12010)
     3910306 Add -XStaticPointers to the flag reference.
     08e47ca FunDep printer: Fix unicode arrow
     43589f5 testsuite: add CmmSwitchTest for 32-bit platforms
     ae7e9cb Fix Windows build after Ticky changes
     8e92974 Testsuite: mark T8761 expect_broken #12077
     a1f3bb8 Fix failing T12010
     d9cb7a8 compiler/iface: compress .hi files
     e44a6f9 users-guide: Vector version of Thomson-Wheeler logo
     6d6d6e4 rules/sphinx: Add missing dependency on conf.py for pdf rule
     cf1efc7 users-guide: Fix index in PDF output
     da3c1eb Enable checkProddableBlock on x86_64
     527ed72 Fix deriving Ord when RebindableSyntax is enabled
     c81e7b2 Build system: temp solution for parallelisation bug (#11960)
     f669764 Use `setSession` instead of `modifySession` when setting `HscEnv`
     a70a6da rts/Linker.c: Fix compile error on Arm
     fa58710 Update format specifiers for Tickey.c
     2230c88 Testsuite: fix T12010 for real
     8c9b8a3 Allow unlifted types in pattern synonym result type
     d835ee6 Fix build by removing unused import.
     785b38f testsuite: Update max_bytes_used for T4029
     9bb2772 Revert "compiler/iface: compress .hi files"
     4f5b335 Suppress the warning about __sync_fetch_and_nand (#9678)
     03d8960 Don't split the arg types in a PatSyn signature
     eb8eb02 Spelling in comment
     839b424 Remove unused Type.splitFunTysN
     9c3e55b Comments only
     35053eb Testsuite: delete check_files_written
     1bf5c12 Spelling
     8f7d016 Add support for unicode TH quotes (#11743)
     4c6e69d Document some benign nondeterminism
     9d06ef1 Make Arrow desugaring deterministic
     95dfdce Remove 'deriving Typeable' statements
     fe8a4e5 Runtime linker: Break m32 allocator out into its own file
     1956cbf Fix: #12084 deprecate old profiling flags
     31f1804 Testsuite: delete drvfail015.stderr-7.0 [skip ci]
     1319363 Always use native-Haskell de/encoders for ASCII and latin1
     ac38c02 Update submodule vector [skip ci]
     961ed26 Fix broken links to mdo papers
     eec88ee RTS: simplify read_heap_profiling_flag
     bdc5558 Testsuite: introduce TEST_HC_OPTS_INTERACTIVE (#11468)
     8408d84 Spelling in comments
     6a5bce1 Testsuite: also normalise platform-dependent .stdout/stderr
     f07bf19 Testsuite: fix enum01/02/03 on Windows (#9399)
     5020bc8 Testsuite: add a test for #5522 (-fliberate-case -fspec-constr)
     0f1e315 Fix bytecode gen to deal with rep-polymorphism
     e9e61f1 Reduce special-casing for nullary unboxed tuple
     5b8bec2 StgCmmExpr: Fix a duplication
     5b145c9 Coverage.hs: Fix a duplication
     cd50d23 StgCmmCon: Do not generate moves from unused fields to local variables
     b43a793 More fixes for unboxed tuples
     72fd407 Comments and white space only
     59250dc StgCmmExpr: Remove a redundant list
     3a00ff9 Do not init record accessors as exported
     3f20da1 Typos in comments
     d0dd572 Clarify users' guide section on GeneralizedNewtypeDeriving
     d40682e Testsuite: don't use --interactive in Makefiles
     1e67010 RtsFlags.c: Const correct fixes
     7e4f3dc StgCmmUtils.emitMultiAssign: Make assertion msg more helpful
     0ffa23d Remove unused FAST_STRING_NOT_NEEDED macro defs
     930e74f Update a Cmm note
     0676e68 Fix detection and use of `USE_LIBDW`
     cb2c042 Use nameSetAny in findUses
     f2b3be0 Improve failed knot-tying error message.
     99ace83 Kill nameSetElems in getInfo
     36d254a Testsuite: run tests in /tmp/ghctest-xxx instead of /tmp/ghctest/xxx
     940229c Travis: llvm's apt repository is offline
     cb9f635 Localize orphan-related nondeterminism
     d348acd Serialize vParallelTyCons in a stable order
     3eac3a0 Add nameSetElemsStable and fix the build
     dad39ff Remove dead generics-related code from OccName
     d753ea2 Use UniqDSet for finding free names in the Linker
     e2446c0 Kill nameSetElems in findImportUsage
     be47085 Kill nameSetElems in rnCmdTop
     060c176 Whitespace only
     1d1987e HscMain: Minor simplification
     9cc6fac Make FieldLabelEnv a deterministic set
     2046297 Document putSymbolTable determinism
     4842a80 Derive instances in Data.Data
     1dadd9a testsuite: Mark broken tests on powerpc64le
     3747372 Refactored SymbolInfo to lower memory usage in RTS
     079c1b8 Use useful names for Symbol Addr and Names in Linker.c
     02f893e integer-gmp: Make minusInteger more efficient
     4aa299d PrelInfo: Ensure that tuple promoted datacon names are in knownKeyNames
     eda73a3 RTS SMP: Use compiler built-ins on all platforms.
     4dbacbc Rename isPinnedByteArray# to isByteArrayPinned#
     b948a1d Refactor the SymbolName and SymbolAddr types to be pointers
     5965117 Replace hand-written Bounded instances with derived ones
     0d963ca Add relocation type R_X86_64_REX_GOTPCRELX
     4848ab9 Testsuite: fixup comments for T9872d [skip ci]
     886f4c1 Better comment for orIfNotFound.
     f91d87d Failing test-case for #12135.
     3042a9d Use UniqDFM for HomePackageTable
     48e9a1f Implement deterministic CallInfoSet
     a90085b Add @since annotations to base instances
     e684f54 Desugar ApplicativeDo and RecDo deterministically
     31ba8d6 Kill nameSetElems
     46d2da0 Document putDictionary determinism
     3e7a876 Kill foldUniqSet
     1937ef1 Make UnitIdMap a deterministic map
     a13cb27 Merge MatchFixity and HsMatchContext
     77ccdf3 Kill occSetElts
     7fea712 Use a deterministic map for imp_dep_mods
     d05dee3 CoreToStg: Remove hand-written Eq instances of HowBound and LetInfo
     4426c5f Kill two instances of uniqSetToList
     0d6f428 Fix build by removing unused import
     c148212 Kill varSetElems in checkValidInferredKinds
     ad8e203 Use DVarSet in Vectorise.Exp
     3b698e8 Document determinism in pprintClosureCommand
     5db93d2 Make vectInfoParallelVars a DVarSet
     7008515 Kill varSetElems
     7d58a97 Use pprUFM in pprStgLVs
     00e3a5d Typofix.
     4d5b2f6 Testsuite driver: always quote opts.testdir
     f5f5a8a Testsuite Windows: mark T8308 expect_broken (#8308)
     d4b548e Add some determinism tests
     dd33245 Desugar: Display resulting program stats with -v2
     44a3c18 Revert "Desugar: Display resulting program stats with -v2"
     c2bbc8b Report term sizes with -v3 even when -ddump is enabled
     80cf4cf Literal: Remove unused hashLiteral function
     d7933cb Show sources of cost centers in .prof
     8f6d292 Fix #12064 by making IfaceClass typechecking more lazy.
     acb9e85 Minor performance note about IdInfo.
     11ff1df Fix #12076 by inlining trivial expressions in CorePrep.
     48385cb Remove special casing of Windows in generic files
     ceaf7f1 Implement Eq TyCon directly
     68c1c29 Remove Ord (CoAxiom br)
     9dbf354 Testsuite: delete dead code [skip ci]
     e703a23 Docs: fix links to ghc-flags
     70e0a56 Remove Ord Class
     b2624ee Remove Ord PatSyn
     77b8c29 Remove Ord AltCon
     c22ab1a Docs: delete PatternGuards documentation
     b020db2 Fix Ticky histogram on Windows
     e9dfb6e Improve the error messages for static forms.
     b0a7664 prettyPrintClosure(): Untag the closure before accessing fields
     47d8173 Remove Printer.c:prettyPrintClosure()
     bcb419a Fix #12099: Remove bogus flags
     6adff01 Comments only
     6905ce2 Refine imports slightly
     0f0b002 Comments only
     3ae18df Minor refactoring
     b9fa72a Small refactor to mkRuntimErrorId
     9e5ea67 NUMA support
     c88f31a Rts flags cleanup
     5990016 ModuleSet: Use an actual set instead of map to units
     6ace660 rts: Fix build when USE_LARGE_ADDRESS_SPACE is undefined
     9130867 Skip retc001 on OSX
     b40e1b4 Fix incorrect calculated relocations on Windows x86_64
     29e1464 Disable T12031 on linux
     2bb6ba6 rts: Fix NUMA when cross compiling
     d25cb61 Kill off redundant SigTv check in occurCheckExpand
     15b9bf4 Improve typechecking of let-bindings
     c28dde3 Tidy up zonkQuantifiedTyVar
     7afb7ad Get in-scope set right in top_instantiate
     35c9de7 Move the constraint-kind validity check
     1f66128 Beef up mkNakedCastTy
     15fc528 Fix the in-scope set for extendTvSubstWithClone
     599d912 Beef up isPredTy
     8104f7c Remove some traceTc calls
     e064f50 Add to .gitignore
     921ebc9 Test Trac #12055
     1dcb32d A second test for Trac #12055
     5cee88d Add thin library support to Windows too
     7de776c Kill unused foldModuleEnv
     586d558 Use UniqFM for SigOf
     0497ee5 Make the Ord Module independent of Unique order
     d55a9b4 Update Haddock to follow change in LHsSigWcType
     4f35646 Adjust error message slightly
     8dfd4ae Build system: mention ghc version in bindist's `configure --help` docdir
     a2deee0 Testsuite: enable ghci.prog010 (#2542)
     23b73c9 Don't GC sparks for CAFs
     9d22fbe Rename cmpType to nonDetCmpType
     753c5b2 Simplify readProcessEnvWithExitCode + set LANGUAGE=C
     70a4589 Revert "Make the Ord Module independent of Unique order"
     e33ca0e Fix testsuite wibble
     77bb092 Re-add FunTy (big patch)
     e368f32 Major patch to introduce TyConBinder
     c56f8bd CoreMonad: Update error msg function docs
     930a525 Abort the build when a Core plugin pass is specified in stage1 compiler
     a7f65b8 Remove dead code: countOnce, countMany
     73a7c23 Rough working implementation of #10613
     cec0f10 Temporarily move regular entry counting to the COUNTING_IND
     ca80c12 DmdAnal, temporary hack: Remember which “Many” are boring


More information about the ghc-commits mailing list