[commit: ghc] wip/T14152's head updated: Inline exit join points in the "final" simplifier iteration (8ec2062)

git at git.haskell.org git at git.haskell.org
Wed Sep 20 15:59:23 UTC 2017


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

Branch 'wip/T14152' now includes:

     8ae263c Make Semigroup a superclass of Monoid (re #14191)
     be514a6 includes/rts: Drop trailing comma
     cb4878f Drop special handling of iOS and Android
     011e15a Deal with unbreakable blocks in Applicative Do
     22f11f1 Bump T783 expected allocations
     cf6b4d1 Remove now redundant CPP
     122f183 Remove now redundant cabal conditionals in {ghc,template-haskell}.cabal
     400ead8 Remove makefile logic for legacy -this-package-key
     dab0e51 Canonicalise Monoid instances in GHC
     346e562 Canonicalise MonoidFail instances in GHC
     838a10f Retire cabal_macros_boot.h hack
     fe35b85 Add testcase for #14186
     fe04f37 Allow CSE'ing of work-wrapped bindings (#14186)
     0ebc8dc Add a test for #14140
     9ff9c35 Check if -XStaticPointers is enabled when renaming static expressions
     dafa012 Add regression test for #14209
     b890e88 rts: Print message before SIGUSR2 backtrace
     d645e44 DriverMkDepend: Kill redundant import
     f8e383f Clarify Data.Data documentation
     91262e7 Use ar for -staticlib
     e62391a [RTS] Harden against buffer overflow
     cbd4911 Make IntPtr and WordPtr as instance of Data.Data typeclass, fix #13115
     8ff11c4 Fix @since annotations in GHC.Stats
     6139f7f Add non-ASCII isLetter True example
     2fe6f6b Option "-ddump-rn-ast" dumps imports and exports too
     f9bf621 Better document TypeRep patterns
     4be195e Simplify Data.Type.Equality.==
     4e22220 Clarify seq documentation
     4cead3c rts: Add regsterCc(s)List to RTS symbols list
     10a1a47 Model divergence of retry# as ThrowsExn, not Diverges
     959a623 No need to check ambiguity for visible type args
     ab2d3d5 More refinements to debugPprType
     3a27e34 Fix subtle bug in TcTyClsDecls.mkGADTVars
     8bf865d Tidying could cause ill-kinded types
     0390e4a Refactor to eliminate FamTyConShape
     a38acda Refactor tcInferApps
     9218ea6 Interim fix for a nasty type-matching bug
     9e46167 Remove unused variable binding
     b6b56dd [RTS] Make -po work
     93da9f9 Add test for Trac #14232
     3b68687 Test #14038 in dependent/should_compile/T14038
     c813d8c Regression test for #12742
     b977630 Test #12938 in indexed-types/should_compile/T12938
     04bb873 Fix #13407 by suppressing invisibles better.
     ecb316c nativeGen: A few strictness fixes
     58f1f73 Bump primitive submodule
     3edbf5c testsuite: Fix dependence on grep behavior in T8129
     89c8d4d Fix #13909 by tweaking an error message.
     e5beb6e Make rejigConRes do kind substitutions
     fa626f3 Fix #13929 by adding another levity polymorphism check
     86e1db7 Test #13938, with expect_broken
     8f99cd6 Fix #13963.
     7b8827a Bump submodule nofib (Semigroup now required)
     f043cd5 Fix name of note
     4340165 Ignore untracked in text, parsec and mtl submodules [skip ci]
     9e227bb Fix missing fields warnings in empty record construction, fix #13870
     f4d50a0 Fix #14228 by marking SumPats as non-irrefutable
     2bfba9e base: Fix mixed tabs/spaces indentation in inputReady.c
     9498c50 Renamer now preserves location for IEThingWith list items
     47a9ec7 Remove dead function TcUnify.wrapFunResCoercion
     b099171 base: Enable TypeInType in Data.Type.Equality
     4ec4ca9 base: Add missing MonadFail instance for strict ST
     60a3f11 Fix pointer tagging mistake
     a83f17e base: Fix missing import of Control.Monad.Fail
     2258a29 testsuite: Fix MonadFail test output for new ST instance
     cdaf5f2 [RTS] Add getObjectLoadStatus
     120c568 Allow opt+llc from LLVM5
     10ca801 Generalise constraint on `instance Monoid (Maybe a)` to Semigroup
     a2f004b Remove redundant/obsolete CPP usage
     1db0f4a Fix unused-given-constraint bug
     6252292 rts/RetainerProfile: Adding missing closure types to isRetainer
     8b007ab nativeGen: Consistently use blockLbl to generate CLabels from BlockIds
     12a92fe OccurAnal: Ensure SourceNotes don't interfere with join-point analysis
     f63bc73 compiler: introduce custom "GhcPrelude" Prelude
     7c7914d Fix Windows build regression due to GhcPrelude change
     28a115e base: fdReady(): Improve accuracy and simplify code.
     c2a1fa7 base: Fix fdReady() potentially running forever on Windows.
     826c3b1 base: Fix fdReady() potentially running forever for Windows Char devices.
     66240c9 base: Fix fdReady() returning immediately for pipes on Windows.
     11c478b rts: Update comment about FreeBSD's unsigned FD_SETSIZE
     b7f2d12 rts: Fix typo in comment
     ba4dcc7 base: Make it less likely for fdReady() to fail on Windows sockets.
     022455f base: Add more detail to FD_SETSIZE related error message
     bbb8cb9 users-guide: Mention changes necessary due to #13391
     3198956 Factor mkCoreApp and mkCoreApps
     7920a7d cmm/CBE: Collapse blocks equivalent up to alpha renaming of local registers
     0aba999 Restore function powModSecInteger
     11d9615 Make zipWith and zipWith3 inlinable.
     02ff705 Add 'stm' package to the global package database
     0bc9ed7 Implement a dedicated exitfication pass #14152
     4febe9a Do some ad-hoc CSE in Exitification
     8ec2062 Inline exit join points in the "final" simplifier iteration


More information about the ghc-commits mailing list