[commit: ghc] wip/float-join-points's head updated: Allow joins to float to top level (9b522eb)
git at git.haskell.org
git at git.haskell.org
Fri Jan 5 17:18:15 UTC 2018
Repository : ssh://git@git.haskell.org/ghc
Branch 'wip/float-join-points' now includes:
29ae833 Tidy up IfaceEqualityTyCon
1317ba6 Implement the EmptyDataDeriving proposal
1130c67 PPC NCG: Impl branch prediction, atomic ops.
b0b80e9 Implement the basics of hex floating point literals
e0df569 Use proper Unique for Name
b938576 Add custom exception for fixIO
36f0cb7 TcRnDriver: Bracket family instance consistency output in -ddump-rn-trace
cbd6a4d Introduce -dsuppress-stg-free-vars flag
bd765f4 Fix atomicread/write operations
d9b6015 Revert "Move check-ppr and check-api-annotations to testsuite/utils"
51321cf rts/PrimOps.cmm: add declaration for heapOverflow closure
4353756 CmmSink: Use a IntSet instead of a list
15f788f llvmGen: Pass vector arguments in vector registers by default
eb37132 Bump haddock submodule
3c8e55c Name TypeRep constructor fields
19ca2ca Deserialize all function TypeReps
5d48f7c Fix documentation and comment issues
df479f7 change example from msum to mfilter
436b3ef Clean up comments about match algorithm a bit.
f6521e6 testsuite: Bump metrics of haddock.Cabal
4dfb790 rts/win32: Emit exception handler output to stderr
6f990c5 cmm/CBE: Fix comparison between blocks of different lengths
a27056f cmm/CBE: Fix a few more zip uses
2ded536 Typo in glasgow_exts.rst
35642f4 Update ErrorCall documentation for the location argument
8613e61 DynFlags: Introduce -show-mods-loaded flag
59de290 Update autoconf test for gcc to require 4.7 and up
66b5b3e Specialise lcm :: Word -> Word -> Word (trac#14424)
275ac8e base: Add examples to Bifunctor documentation
7b0b9f6 Squashed 'hadrian/' content from commit 438dc57
5cee480 Merge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988' as 'hadrian'
0ff152c WIP on combining Step 1 and 3 of Trees That Grow
7d6fa32 Set up Linux, OSX and FreeBSD on CircleCI.
b0cabc9 Set up AppVeyor, Windows CI.
6f665cc Sdist -> bindist -> tests
07e0d0d Revert "Sdist -> bindist -> tests"
ed18f47 Factor out builds into steps. Address ghc/ghc#83 comments.
ae7c33f testsuite: Bump haddock.compiler allocations
7d34f69 relnotes: Clarify a few things
c1bc923 relnotes: Note enabling of -fllvm-pass-vectorse-in-regs
93b4820 Revert "WIP on combining Step 1 and 3 of Trees That Grow"
9f8dde0 Update link to Haskeline user preferences
bf9ba7b base: Escape \ in CallStack example
14d885e Merge remote-tracking branch 'github/pr/83'
21970de Imrpove comments about equality types
30058b0 Fix another dark corner in the shortcut solver
2c2f3ce Minimise provided dictionaries in pattern synonyms
fe6848f Fix in-scope set in simplifier
438dd1c WIP on Doing a combined Step 1 and 3 for Trees That Grow
803ed03 Invoke lintUnfolding only on top-level unfoldings (#14430)
6bd352a Remove left-overs from compareByteArray# inline conversion
10ff3e3 testsuite: Fix output of T14394
bdd2d28 Update Win32 version for GHC 8.4.
9773053 Merge initial Hadrian snapshot
ce9a677 base: Add test for #14425
c59d6da base: Normalize style of approxRational
5834da4 base: Fix #14425
0656cb4 Update comment in GHC.Real (trac#14432)
6b52b4c Remove unreliable Core Lint empty case checks
e6b13c9 testsuite: Add test for #5889
75291ab Change `OPTIONS_GHC -O` to `OPTIONS_GHC -O2`
f8e7fec Fix PPC NCG after blockID patch
5229c43 Squashed 'hadrian/' changes from 438dc576e7..5ebb69ae1e
506ba62 Merge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
f11f252 Windows: Bump to GCC 7.2 for GHC 8.4
ba2ae2c Adds cmm-sources to base
426af53 Use LICENSE instead of ../LICENSE in the compiler.cabal file
5f158bc circleci: Bump down thread count
86c50a1 Declare proper spec version in `base.cabal`
e3ec2e7 WIP on combined Step 1 and 3 for Trees That Grow, HsExpr
0a85190 Fix a TyVar bug in the flattener
f570000 A bit more tc-tracing
47ad657 TTG3 Combined Step 1 and 3 for Trees That Grow
f5dc8cc Add new mbmi and mbmi2 compiler flags
6dfe982 StaticPointers: Clarify documentation
5dea62f Adds rts/rts.cabal.in file
8b1020e RTS: Disable warnings in ffi.h
ea26162 CLabel: Clean up unused label types
1aba27a CLabels: Remove CaseLabel
383016b Add dump flag for timing output
d9f0c24 rts: Fix gc timing
d0a641a Allow the rts lib to be called rts-1.0
3bed4aa Cabalify all the things
e14945c Adjust AltCon Ord instance to match Core linter requirements.
ec080ea users_guide: Fix "CancelSynchronousIo" casing
c1fcd9b Squashed 'hadrian/' changes from 5ebb69a..fa3771f
07ac921 Pull recent Hadrian changes from upstream
2f46387 Detect overly long GC sync
2da7813 Document -ddump-timings
c729734 configure: Fix incorrect quoting
12a7444 Adds -ghc-version flag to ghc.
835d8dd GHC.Prim use virtual-modules
bb11a2d Relocatable GHC
74070bb Fix rts.cabal.in
912a72d Fix T4437
b8e324a base: Make documentation of atomically more accurate
7d16d8a Fix #elfi -> #elif; unbreak -Werror.
ca3700a Rename ghc-version -> ghcversion-file
606bbc3 Stop generating make files when using hadrian.
e66913d Bump hsc2hs submodule
25f36bd Bump haddock submodule
ddded7e ghc-pkg: Add missing newlines to usage message
1b1ba9d rel-notes: Fix up formatting in release notes
d213ee8 CircleCI: Disable artifact collection on OS X
66d1799 configure: Fix ar probed flags
0b20d9c base: Document GHC.Stack.CCS internals
314bc31 Revert "trees that grow" work
90a819b CircleCI: Add webhook for Harbormaster builds
2ca2259 Update ANNOUNCE
763ecac rts: Move libdwPrintBacktrace to public interface
f376eba rts: Fix inconsistencies in how retainer and heap censuses are timed.
63e4ac3 Add warn-missing-export-lists
8a8a79a Update leftover reference to refer to [FunBind vs PatBind]
dad9864 Remove hadrian sub-dir from .gitignore
0db4627 Test Trac #14488
bb2a08e testsuite: Add test for #14257
23116df cmm: Optimise remainders by powers of two
eb5a40c base: Remove redundant subtraction in (^) and stimes
7a73a1c Bump stm submodule
2d1c671 ErrUtils: Refactor dump file logic
c11f145 ErrUtils: Ensure timing dumps are always output on one line
360d740 Squashed 'hadrian/' changes from fa3771fe6b..4499b294e4
abdb555 Update Hadrian
341013e Revert "Add new mbmi and mbmi2 compiler flags"
5fdb858 Fix README
33cbc9f CircleCI: Perform nightly validation of unregisterised build
866f669 CircleCI: Try validating LLVM as well
e2cc106 circleci: Build with Hadrian
ad57e28 CircleCI: Install lbzip2 and patch
5e35627 rts/Printer: add closure name entries for small arrays (Fixes #14513)
30aa643 SysTools: Expand occurrences of $topdir anywhere in a Settings path
69cd1e9 SysTools: Split up TopDir logic into new module
599243e DynFlags: Expand $topdir in --info output
99089fc users-guide: Fix :default: placement
f209e66 base: fdReady(): Fix timeouts > ~49 days overflowing. Fixes #14262.
a1950e6 CircleCI: Reenable artifact collection on Darwin
471d677 Don't complain about UNPACK in -fno-code.
6282366 Follow symlinks in the Win32 code for System.Environment.getExecutablePath
b241d6d Add obvious Outputable Integer instance.
f713be7 RtsFlags: allow +RTS -K0
00b96b2 boot: Eliminate superfluous output
4efe5fe Check quantification for partial type signatues
df1a0c0 typecheck: Consistently use pretty quotes in error messages
eb86e86 Don't call alex for Cabal lib during GHC build
e4dc2cd relnotes: Rework treatment of included package list
54fda25 base: Rip out old RTS statistics interface
17e71c1 CLabel.labelType: Make catch-all case explicit
048a913 cmm: Use LocalBlockLabel instead of AsmTempLabel to represent blocks
16dd532 CLabel: Refactor pprDynamicLinkerAsmLabel
55e621c nativeGen: Use plusUFMList instead of foldr
7dc82d6 nativeGen: Use foldl' instead of foldl
66c1c8e CLabel: More specific debug output from CLabel
d3b80c7 Cmm: Add missing cases for BlockInfoTable
030d9d4 CLabel: A bit of documentation
4c65867 CircleCI: Disallow hscolour 1.24.3
3c0ffd1 CircleCI: Freeze all packages at fixed index state
5b3f33b Minor tweaks to codegens.rst
b6428af Comments only: Trac #14511
b6a2691 Bump unix submodule
f246d35 Darwin: Set deployment target
d672b7f Darwin: Use gmp from homebrew
6998772 Make use of boot TyThings during typechecking.
e1fb283 Handle CPP properly in Backpack
12efb23 Add trace injection
bc761ad Cache TypeRep kinds aggressively
1acb922 Make the Con and Con' patterns produce evidence
cfea745 template-haskell: Rip out FamFlavour
595f60f Fix ghc_packages
d6fccfb Bump version to 8.5
30d6373 rts: fix filename case for mingw32 target
1ecbe9c utils/hsc2hs: update submodule
5f332e1 Forward-port changes from GHC 8.2 branch
fa29df0 Refactor ConDecl: Trac #14529
e4a1f03 Revert accidental hsc2hs submodule downgrade
de20440 Refactor kcHsTyVarBndrs
800009d Improve LiberateCase
5695f46 Occurrrence analysis improvements for NOINLINE functions
7733e44 Rip out hadrian subtree
4335c07 Add hadrian as a submodule
716acbb Improved panic message for zonkTcTyVarToTyVar
8b36ed1 Build only well-kinded types in type checker
8361b2c Fix SigTvs at the kind level
abd5db6 Only look for locales of the form LL.VV
21be5bd Fixed misprint 'aqcuired'
6847c6b Improve Control.Monad.guard and Control.Monad.MonadPlus docs
00d7132 Add information about irrefutable pattern Syntax to XStrict.
21cdfe5 Add NOINLINE pragma to hPutStr'
4bfff7a rts: Don't default to single capability when profiled
cafe983 Always use the safe open() call
708ed9c Allow users to ignore optimization changes
430d1f6 fdReady: Use C99 bools / CBool in signature
9d29925 base: fdReady(): Return only after sycall returns after `msecs` have passed
be1ca0e Add regression test for #14040
a106a20 Minor refactor of TcExpr.tcApp
e40db7b Detect levity-polymorphic uses of unsafeCoerce#
321b420 Tidy up of wired-in names
aef4dee Add missing stderr for Trac #14561
63e968a Re-centre perf for T5321Fun
0a12d92 Further improvements to well-kinded types
6eb3257 Typofix in comment
6f6d105 Add test for Trac #14580
b1ea047 Fix an outright bug in the unflattener
fa1afcd Better tc-trace messages
eeb36eb typos in local var
16c7d9d Fix #14135 by validity checking matches
d4c8d89 users-guide: Consistently document LLVM version requirement
4a331e6 users-guide: Fix various bits of markup
6814945 Fix tcDataKindSig
3910d3e Add some commentary re: fix to #11203
23b5b80 Add missing case to HsExpr.isMonadFailStmtContext
1e64fc8 Tiny refactor: use mkTyVarNamePairs
f1fe5b4 Fix scoping of pattern-synonym existentials
fb1f0a4 Blackholes can be large objects (#14497)
0302439 testsuite: Exit with non-zero exit code when tests fail
8c9906c testsuite: Semigroup/Monoid compat for T3001-2
244d144 Typos in comments
a100763 Get rid of some stuttering in comments and docs
10ed319 Stop runRW# being magic
ff1544d Rmove a call to mkStatePrimTy
71f96bb Sync up ghc-prim changelog from GHC 8.2 branch
1bd91a7 Fix #14578 by checking isCompoundHsType in more places
9caf40e Fix #14588 by checking for more bang patterns
9cb289a Remove hack put in place for #12512
b6304f8 Document ScopedTypeVariables' interaction with nested foralls
4d41e92 Improve treatment of sectioned holes
584cbd4 Simplify HsPatSynDetails
72938f5 Check for bogus quantified tyvars in partial type sigs
a492af0 Refactor coercion holes
f5cf9d1 Fix floating of equalities
bcb519c Typos in comments
05551d0 Comments only [skip ci]
fc257e4 Sync `ghc-prim` changelog from GHC 8.2
c88564d MkIface: Ensure syntactic compatibility with ghc 8.0.1
6549706 relnotes: Fix typo in pattern synonym example
e237e1f Bump Cabal submodule
d7d0aa3 Add GHC 8.6.1 release notes
02aaeab aclocal.m4: add minimal support for nios2 architecture
e19b646 Compute InScopeSet in substInteractiveContext
722a658 Fix #14618 by applying a subst in deeplyInstantiate
f2db228 Typos in comments [ci skip]
862c59e Rewrite Note [The polymorphism rule of join points]
a2e9549 users-guide: Fix markup
b31c721 Fix sign error in kelvinToC.
12f5c00 Prevent "C--" translating to "C–" in the User's Guide.
69f1e49 Reformat Control.Monad.mfilter docs
a67c264 Add example to Control.Monad.join docs
4887c30 Improve Control.Monad docs
27b7b4d Windows: fix all failing tests.
46287af Make System.IO.openTempFile thread-safe on Windows
ecff651 Fix #14608 by restoring an unboxed tuple check
3382ade Rename HEq_sc and Coercible_sc to heq_sel and coercible_sel
2c7b183 Comments only
83b96a4 More informative pretty-printing for phantom coercions
f3a0fe2 Comments about join point types
1e12783 Tiny refactor around fillInferResult
3bf910d Small refactoring in Coercion
112266c White space only
9e5535c Fix OptCoercion
bd438b2 Get evaluated-ness right in the back end
298ec78 No deferred type errors under a forall
7a25659 Typos in comments
649e777 Make typeToLHsType produce kind signatures for tycon applications
6c34824 Cache the number of data cons in DataTyCon and SumTyCon
954cbc7 Drop dead Given bindings in setImplicationStatus
e2998d7 Stop double-stacktrace in ASSERT failures
86ea3b1 comments only
307d1df Fix deep, dark corner of pattern synonyms
68ccfbd Wip on floating join points
6b7ae18 More Wip on floating join points
9b522eb Allow joins to float to top level
More information about the ghc-commits
mailing list