[commit: ghc] wip/erikd/rts's head updated: Add new warning for bad CPP #if usage (81b284e)
git at git.haskell.org
git at git.haskell.org
Fri Mar 3 23:43:20 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
Branch 'wip/erikd/rts' now includes:
518f289 New story for abstract data types in hsig files.
7e77c4b Support constraint synonym implementations of abstract classes.
9df4ce4 Only delete instances when merging when there is an exact match.
01490b4 Mark previously failing backpack tests as passing, with correct output.
c2142ca Fix Mac OS X build by removing space after ASSERT.
c23dc61 check-cpp: Make it more robust
ff225b4 Typos in comments
45bfd1a Refactor typechecking of pattern bindings
82efad7 Comments and trivial refactoring
cdbc73a Test Trac #12507
d61c7e8 Make TcLevel increase by 1 not 2
3f5673f A collection of type-inference refactorings.
1f09b24 Accept 20% dedgradation in Trac #5030 compile time
9417e57 Refactor occurrence-check logic
e1fc5a3 Define emitNewWantedEq, and use it
6ddba64 Improve TcCanonical.unifyWanted and unifyDerived
f41a8a3 Add and use a new dynamic-library-dirs field in the ghc-pkg info
acc9851 Fix failure in setnumcapabilities001 (#12728)
1050e46 rts: configure.ac should populate HAVE_LIBNUMA instead of USE_LIBNUMA
a662f46 Skip T5611 on OSX as it fails non-deterministically.
3cb32d8 Add -Wcpp-undef warning flag
6e9a51c Refactoring: Delete copied function in backpack/NameShape
b76cf04 cmm/Hoopl/Dataflow: minor cleanup
aaede1e rts/package.conf.in: Fix CPP usage
a6bcf87 Refactoring: Replace when (not ...) with unless in ErrUtils
f084e68 rts: Move path utilities to separate source file
1c4a39d Prioritise class-level equality costraints
1221f81 Don't instantaite when typechecking a pattern synonym
08ba691 Take account of kinds in promoteTcType
03b0b8e Test Trac #12174
853cdae Test Trac #12081
a182c0e testsuite: Bump peak_megabytes_allocated for T3064
801c263 Fundeps work even for unary type classes
9f814b2 Delete extraneous backtick in users' guide
925d178 Make traceRn behave more like traceTc
488a9ed rts/linker: Move loadArchive to new source file
23143f6 Refine ASSERT in buildPatSyn for the nullary case.
48876ae Remove -dtrace-level
b8effa7 CmmUtils: remove the last dataflow functions
3562727 Simple refactor to remove misleading comment
f9308c2 Collect coercion variables, not type variables
eefe86d Allow levity-polymorpic arrows
0eb8934 Fix typo in comment
cc29eb5 Revert "rts/linker: Move loadArchive to new source file"
815b837 Minor doc addition as requested in #12774.
7187ded Clarify comments on kinds (Trac #12536)
aae2b3d Make it possible to use +RTS -qn without -N
60343a4 Add test for #12732
5ebcb3a Document unpackClosure# primop
4b300a3 Minor refactoring in stg_unpackClosurezh
4e088b4 Fix a bug in parallel GC synchronisation
7ddbdfd Zap redundant imports
80d4a03 Typos in comments
795be0e Align GHCi's library search order more closely with LDs
0b70ec0 Have static pointers work with -fno-full-laziness.
19ce8a5 Sparc*: Prevent GHC from doing unaligned accesses
79fb6e6 Tiny refactor
9968949 Get rid of TcTyVars more assiduously
7a50966 Simplify the API for TcHsType.kcHsTyVarBndrs
f4a14d6 Use substTyUnchecked in TcMType.new_meta_tv_x
13508ba Fix Trac #12797: approximateWC
623b8e4 Renaming and comments in CorePrep
8a5960a Uninstall signal handlers
cc4710a testsuite: Simplify kernel32 glue logic
f4fb3bc linker: Split out CacheFlush logic
abfa319 linker: Shuffle configuration into LinkerInternals.h
43c8c1c linker: Move mmapForLinker declaration into LinkerInternals.h
3f05126 linker: Split symbol extras logic into new source file
c3446c6 Shuffle declarations into LinkerInternals.h
6ea0b4f linker: Split PEi386 implementation into new source file
f6c47df linker: Split MachO implementation into new source file
bdc262c linker: Split ELF implementation into separate source file
6fecb7e linker: Move ARM interworking note to SymbolExtras.c
dc4d596 Hoopl/Dataflow: make the module more self-contained
80076fa Add notes describing SRT concepts
b5460dd Add testcase for #12757
967dd5c Merge cpe_ExprIsTrivial and exprIsTrivial
eaa3482 testsuite: Update T10858 allocations
ec22bac Add test for #12788
f46bfeb API Annotations: make all ModuleName Located
a977c96 Omit unnecessary linker flags
e43f05b Add comments from Trac #12768
7b0ae41 Remove a debug trace
2cdd9bd Take account of injectivity when doing fundeps
b012120 Handle types w/ type variables in signatures inside patterns (DsMeta)
1cab42d Update release notes for type sigs in TH patterns patch
1c886ea Stop -dno-debug-output suppressing -ddump-tc-trace
25c8e80 Add tracing infrastructure to pattern match checker
630d881 Allow GeneralizedNewtypeDeriving for classes with associated type families
ead83db Describe symptoms of (and the cure for) #12768 in 8.0.2 release notes
1964d86 Some minor linker cleanups.
7d988dd Fix broken validate build.
91f9e13 Fix hs_try_putmvar003 (#12800)
2e8463b Update 8.0.2 release notes for #12784
2325afe Fix comment about pointer tagging
7fe7163 Adapt the (commented out) pprTrace in OccurAnal
f05d685 Refactoring of mkNewTypeEqn
317236d Refactor CallStack defaulting slightly
500d90d ghc-cabal: Use correct name of linker flags env variable
816d2e4 build system: Include CONF_LD_LINKER_OPTS in ALL_LD_OPTS
9030d8e configure: Pass HC_OPTS_STAGEx to build system
bae4a55 Pass -no-pie to GCC
0a122a4 testsuite: Update allocation numbers for T5631
e06e21a Add Richard Eisenberg's new email to mailmap
bef7e78 Read parentheses better
122d826 rts: Add api to pin a thread to a numa node but without fixing a capability
aa10c67 rts/linker: Move loadArchive to new source file
e8ae4dc Update user's guide after D2490
03e8d26 Prevent GND from inferring an instance context for method-less classes
60bb9d1 Revert "Pass -no-pie to GCC"
7a7bb5d Revert "Refactor CallStack defaulting slightly"
ec0bf81 rts: Fix LoadArchive on OS X
d421a7e Pass -no-pie to GCC
46e2bef testsuite: Lower allocations for T876
7eae862 ghc-pkg: Munge dynamic library directories
2cfbee8 rts: Fix build when linked with gold
4e0b8f4 rts: Fix #include of <linker/PEi386.h>
587dccc Make default output less verbose (source/object paths)
568e003 template-haskell: Version bump
ca1b986 ghc: Fix ghc's template-haskell bound
8cb7bc5 rts: Fix references to UChar
6c0f10f Kill Type pretty-printer
55d535d Remove CONSTR_STATIC
034e01e Accept output for scc003
e0ca7ff Fix numa001 failure with "too many NUMA nodes"
cb16890 testsuite: Fix creep of T4029
011af2b configure: Verify that GCC recognizes -no-pie flag
1b336d9 Skip 64-bit symbol tables
98f9759 Hopefully fix build on OS X
642adec Mark T12041 as expect_broken with -DDEBUG (#12826)
017d11e Typos in comments, notes and manual
31d5b6e fixup! Stop the simplifier from removing StaticPtr binds.
0e58652 Test for unnecessary register spills
4a835f0 Update xhtml submodule
a637eeb Don't use mmap symbols when !RTS_LINKER_USE_MMAP
0135188 Storage.c: Pass a size to sys_icache_invalidate
fa70b1e Fix -fobject-code with -fexternal-interpreter
7acee06 Avoid calling newDynFlags when there are no changes
d3542fa Generalise the implicit prelude import
8dfca69 Inline compiler/NOTES into X86/Ppr.hs
b769586 Fix windows validate
31398fb Test for type synonym loops on TyCon.
2878604 Correct spelling of command-line option in comment
cede770 Correct name of Note in comment
07e40e9 Add Data instance for Const
18eb57b Revert "Add Data instance for Const"
9a4983d Pass autoconf triplets to sub-project configures
20fb781 LLVM generate llvm.expect for conditional branches
4d4f353 testsuite: Rip out hack for #12554
04b024a GHCi: Unconditionally import System.Directory
231a3ae Have reify work for local variables with functional dependencies.
9c39e09 Switch to LLVM version 3.9
94d1221 Add missing SMP symbols to RT linker.
d328abc Spelling in comment only
3bd1dd4 Add Data instance for Const
4b72f85 Optimise whole module exports
6ad94d8 Updated code comment regarding EquationInfo. Trac #12856
ea37b83 A few typos in comments
5bce207 testsuite: Add test for #12855
926469f testsuite: Add test for #12024
b98dbdf testsuite: Add (still broken) testcase for #12447
e7ec521 testsuite: Add (still failing) testcase for #12550
ea76a21 add ieee754 next* functions to math_funs
514acfe Implement fine-grained `-Werror=...` facility
4c0dc76 Ignore Hadrian build products.
7e4b611 Make transformers upstream repository location consistent with others
1399c8b ghc/hschooks.c: Fix include path of Rts.h
f430253 Allow to unregister threadWaitReadSTM action.
14ac372 Collect wildcards in sum types during renaming (#12711)
d081fcf Make quoting and reification return the same types
9a431e5 Make a panic into an ASSERT
0476a64 Fix a bug in mk_superclasses_of
f04f118 Comments only in TcType
0123efd Add elemDVarEnv
1eec1f2 Another major constraint-solver refactoring
18d0bdd Allow TyVars in TcTypes
4431e48 Remove redundant kind check
90a65ad Perf improvements in T6048, T10547
e319466 Typos in comments
c1b4b76 Fix a name-space problem with promotion
f0f4682 Test Trac #12867
83a952d Test Trac #12845
a5a3926 Kill off ifaceTyVarsOfType
bc35c3f Use 'v' instead of 'tpl' for template vars
edbe831 Use TyVars in a DFunUnfolding
12eff23 Use TyVars in PatSyns
5f349fe Improve pretty-printing of types
eb55ec2 Refactor functional dependencies a bit
1bfff60 Fix inference of partial signatures
086b483 A tiny bit more tc tracing
f8c966c Be a bit more selective about improvement
6ec2304 Fix an long-standing bug in OccurAnal
5238842 Typos in comments only [ci skip]
605af54 Test Trac #12776
27a6bdf Test Trac #12885
3aa9368 Comments only (related to #12789)
abd4a4c Make note of #12881 in 8.0.2 release notes
f8c8de8 Zonk the free tvs of a RULE lhs to TyVars
e755930 Typos in comments
36e3622 Store string as parsed in SourceText for CImport
1732d7a Define thread primitives if they're supported.
30cecae users_guide: Bring 8.0.2 release notes up-to-date with ghc-8.0 branch
f1fc8cb Make diagnostics slightly more colorful
52222f9b Detect color support
da5a61e Minor cleanup of foldRegs{Used,Defd}
2d99da0 testsuite: Mention CLEANUP option in README
3ec8563 Replace -fshow-source-paths with -fhide-source-paths
c2268ba Refactor Pattern Match Checker to use ListT
6845087 Purge GHC of literate Perl
4d4e7a5 Use newBlockId instead of newLabelC
7753273 AsmCodeGen: Refactor worker in cmmNativeGens
6d5c2e7 NCGMonad: Add MonadUnique NatM instance
eaed140 OrdList: Add Foldable, Traversable instances
fe3748b testsuite: Bump haddock.compiler allocations
795f8bd hschooks.c: Ensure correct header file is included
6f7ed1e Make globals use sharedCAF
56d7451 Fix type of GarbageCollect declaration
428e152 Use C99's bool
758b81d rts: Add missing #include <stdbool.h>
23dc6c4 Remove most functions from cmm/BlockId
b92f8e3 Added Eq1, Ord1, Read1 and Show1 instances for NonEmpty
679ccd1 Hoopl/Dataflow: use block-oriented interface
0ce59be Fix testsuite threading, timeout, encoding and performance issues on Windows
dd9ba50 Update test output for Windows
605bb9b testsuite: Use python3 by default
20c0614 Update Mingw-w64 bindist for Windows
ef37580 Fix windows validate.
be8a47f Tweaks to grammar and such.
03766cd Rename RuntimeRepPolymorphism to LevityPolymorphism
e2330b6 Revert "Make globals use sharedCAF"
c2a2911 Revert "Fix windows validate."
6c54fa5 testsuite: Add another testcase for #11821
0200ded Fix typo in functional dependencies doc
f48f5a9e Ensure flags destined for ld are properly passed
514c01e Levity polymorphic expressions mustn't be floated-out in let-bindings.
a452c6e Make note of #12907 in 8.0.2 release notes
0ac5e0c rts: Fix type of bool literal
7214e92 testsuite: Remove Unicode literals from driver
6576bf8 rts: Ensure we always give MADV_DONTNEED a chance in osDecommitMemory
0f37550 Typos in comments
a934e25 testsuite: Actually update haddock.compiler allocations
7fafb84 testsuite/conc059: Don't attempt to use stdcall where it isn't supported
747e77c Fix naming of the native latin1 encodings
ddc271e Travis: Add dependency on python3
27731f1 Note Trac #12141 in mk/build.mk.sample
f46369b fdReady: use poll() instead of select()
895a131 Install toplevel handler inside fork.
2350906 Maintain in-scope set in deeply_instantiate (fixes #12549).
eb6f673 8.2.1-notes.rst: tweak binutils version
90c5af4 core-spec: Fix S_MatchData
517d03e Fix an asymptotic bug in the occurrence analyser
6305674 Fix used-variable calculation (Trac #12548)
e912310 Use isFamFreeTyCon now we have it
3e3f7c2 Test Trac #12925
847d229 Color output is wreaking havoc on test results
b82f71b Fix x86 Windows build and testsuite
eec02ab Give concrete example for #12784 in 8.0.2 release notes
24e6594 Overhaul GC stats
19ae142 Mark rn017 and T7672 as expect_broken(#12930) with -DDEBUG
6e4188a Fix unsafe usage of `is_iloc` selector in Ord instance for ImportSpec
eafa06d Revert "Mark rn017 and T7672 as expect_broken(#12930) with -DDEBUG"
b7e88ee Reduce the size of string literals in binaries.
41ec722d Test Trac #12919
39143a4 Mark T9577 as broken on Darwin due to #12937
4dd6b37 Really mark T9577 as broken
7036fde Overhaul of Compact Regions (#12455)
c02aeb5 Ignore output for compact_gc: sizes change when profiling
5aa9c75 Fix the test with -O
9043a40 Fix crashes in hash table scanning with THREADED_RTS
d70d452 rts: Use pthread itimer implementation on Darwin
83d69dc Don't barf() on failures in loadArchive()
499e438 Add HsSyn prettyprinter tests
58d78dc Fix pretty printer test to nog generate stdout
9bcc4e3 Remove stray commented out line in all.T
c5fbbac Ignore stderr of all printer tests
62332f3 Setup tcg_imports earlier during signature matching, so orphans are visible.
617d57d Reduce qualification in error messages from signature matching.
58c290a hschooks.c: Fix long line
5063edb arclint: Lint cabal files
c766d53 rts/linker: Fix LoadArchive build on Windows
6889400 testsuite: Add test for #10249
1e5b7d7 Update Windows GCC driver.
55361b3 nativeGen: Fix string merging on Windows
2bb099e BlockId: remove BlockMap and BlockSet synonyms
6da6253 rts/PosixSource.h: Define __USE_MINGW_ANSI_STDIO on Windows
f65ff2c Disambiguate reified closed type family kinds in TH
61932cd Bump haddock submodule
d3b546b Scrutinee Constant Folding
cee72d5 Disable colors unless printing to stderr
1c296c0c Export `warningGroups' and `warningHierarchies'
62418b8 Mark T12903 as broken on OS X
90fae01 Fix LLVM TBAA metadata
2823492 NCG: Implement trivColorable for PowerPC 64-bit
ca593c7 testsuite: make tests respond to SIGINT properly
d1df8d1 Ensure each test inherits the TEST_HC_OPTS
5349d64 Rename TH constructors for deriving strategies
24a4fe2 testsuite: Mark prog003 as broken on Windows
2618090 testsuite: Fix syntax error in rts/all.T
17ac9b1 rts: Provide _lock_file in symbol table on Windows
0ac5a00 Add `_unlock_file` to RTS symbols
490b942 Automate GCC driver wrapper
c3c7024 Make globals use sharedCAF
818e027 Refactor pruning of implication constraints
f1036ad Make dropDerivedSimples restore [WD] constraints
6720376 Disable T12903 due to flakiness
d03dd23 Fix a long-standing bug in CSE
bc3d37d Float unboxed expressions by boxing
8f6d241 Add infix flag for class and data declarations
24f6bec Sanity check if we pick up an hsig file without -instantiated-with.
db23ccf Fix recompilation detection when set of signatures to merge changes.
f723ba2 Revert "Float unboxed expressions by boxing"
cc2e3ec base: Make raw buffer IO operations more strict
cb582b6 Don't have CPP macros expanding to 'defined'.
9cb4a13 Fix Win32 x86 build validation after D2756
aa123f4 Fix testcase T12903 on OS X
7031704 print * in unicode correctly (fixes #12550)
8ec864d Fix pretty printing of top level SCC pragmas
9c9a222 Load orphan interfaces before checking if module implements signature
26ce99c Fix typo in users' guide
52c5e55 mk/config.mk.in: enable SMP on ARMv7+ (Trac #12981)
0c3341b Show constraints when reporting typed holes
6f7d827 Reset FPU precision back to MSVCRT defaults
8b2e588 Adds llvm-prof flavour
6370a56 Build terminfo on iOS.
3c7cf18 Fix pprCLabel on platforms without native codegen.
be5384c testsuite: Mark T9577 as broken due to #12965
27287c8 procPointAnalysis doesn't need UniqSM
fe5d68a Add entry to .gitignore to for __.SYMDEF_SORTED
9550b8d Make unboxedTuple{Type,Data}Name support 0- and 1-tuples
2940a61 testsuite: Specify expected allocations of T12877 for Windows
5c76f83 check-ppr: Add a --dump flag to aid in debugging
394231b Fix cost-centre-stacks bug (#5654)
1ec632f Fix pretty printing of MINIMAL signatures
503219e Warn about missing instance methods that start with an underscore
d398162 testsuite: Separate out Windows results for T5205
4d683fa base: Bump version to 4.10.0.0
8f0546b testsuite: Add test for #12971
0cad52d testsuite: Mark T10294 as fixed
81c4956 testsuite: Add test for #12966
cd4b202 array: Check for integer overflow during allocation
0d213c1 UniqSupply: Use full range of machine word
ffc2327 base: Add more POSIX types (fixes #12795)
6fecb2a Verify that known-key uniques fit in interface file
ed4cf03 Typos in comments
13c1fc4 DynFlags: Rip out remnants of WarnContextQuantification
c889df8 Packages: Kill unused UnitId argument to isDllName
5bf344b CLabel: Kill redundant UnitId argument from labelDynamic
222e99d Make up a module name for c-- files
4026b45 Fix string merging with -split-sections
8f71d95 Enable split sections by default where possible
c8ed1bd testsuite: Add test for #12993
2fa00f5 UNREG: include CCS_OVERHEAD to STG
a6657bd revert '-Wl' prefixing to *_LD_OPTS
c480860 rts/Compact.cmm: fix UNREG build failure
d88efb7 Fix Pretty printer tests on Windows
0af959b Revert "Do not init record accessors as exported"
87c3b1d fix OpenBSD linkage (wxneeded)
6c816c5 utils/genargs: delete unused tool
8906e7b Reshuffle levity polymorphism checks.
3dbd2b0 Windows: Improve terminal detection mechanism
2d1beb1 rts/win32/IOManager: Fix integer types
343b147 Reexport Language.Haskell.TH.Lib from Language.Haskell.TH
2a02040 Fix bug in previous fix for #5654
90cfa84 Run some tests with -fexternal-interpreter -prof
21dde81 Improve StringBuffer and FastString docs
e0fe7c3 Docs: Delete duplicate paragraph in user guide
52ba947 Allow use of the external interpreter in stage1.
25b70a2 Check family instance consistency of hs-boot families later, fixes #11062.
630cfc3 Fix Haddock comment typo.
b5d788a Introduce unboxedSum{Data,Type}Name to template-haskell
513eb6a Fix #12998 by removing CTimer
88e8194 T12035j: disable on NOSMP targets
4704d65 T8209: disable on NOSMP targets
7f5be7e T10296a: disable on NOSMP targets
d327ebd regalloc_unit_tests: disable on UNREG targets
bb74bc7 T8242: disable on NOSMP targets
f1dfce1 Revert "Allow use of the external interpreter in stage1."
6263e10 Fix timeout's timeout on Windows
c0c1f80 Mark T8089 as unbroken since #7325 is now resolved
27f7925 Allow use of the external interpreter in stage1.
4535fa2 Test Trac #12996
8fdb937 Make CompactionFailed a newtype
574abb7 Rewrite Note [Api annotations] for clarity.
9a29b65 Suppress duplicate .T files
1771da2 Fix typos (not test relevant)
f97d489 Test Trac #12968, plus some comments
c73a982 Add note for rebindable syntax of [a..b]
c66dd05 Move typeSize/coercionSize into TyCoRep
d250d49 Add INLINE pragamas on Traversable default methods
e07ad4d Don't eta-expand in stable unfoldings
0a18231 Lint DFunUnfoldings
05d233e Move InId/OutId to CoreSyn
c48595e Never apply worker/wrapper to DFuns
1a4c04b Fix 'SPECIALISE instance'
c469db4 Test Trac #12950
74033c4 Improved perf for T12227
ccc918c Fix a forward reference to a Note
2189239 Disambiguate two Notes with identical names
ee4e165 Support for abi-depends for computing shadowing.
99db12f Update ghc-cabal command line usage text.
46f7f31 Notes on parsing lists in Parser.y
41ade95 Fix another forward reference to a Note
b7a6e62 Revert "Suppress duplicate .T files"
efc4a16 Allow timeout to kill entire process tree.
7a13f1f Alpha-renaming and white space only
f06b71a Fix a bug in ABot handling in CoreArity
ea8f91d White space only
9a4af2c Comments only
11306d6 Ensure that even bottoming functions have an unfolding
432f952 Float unboxed expressions by boxing
793ddb6 Tiny refactor in CoreTidy
75e8c30 Propagate evaluated-ness a bit more faithfully
ee872d3 Removed dead code in DsCCall.mk_alt
b4c3a66 Push coercions in exprIsConApp_maybe
8712148 testsuite: Split out Windows allocations numbers for T12234
f95e669 users-guide: Kill extraneous link
8f89e76 rename: Don't require 'fail' in non-monadic contexts
158530a Add caret diagnostics
46a195f Use python3 for linters
1b06231 Fix test for T12877
94d2cce base: Override Foldable.{toList,length} for NonEmpty
2689a16 Define MAP_ANONYMOUS on systems that only provide MAP_ANON
48a5da9 rename: Add note describing #11216
9331e33 check-ppr: Make --dump the default behavior
3c9fbba Remove redudant import from check-ppr
815099c CallArity: Use exprIsCheap to detect thunks
d2788ab Expand I/O CP in comments
88f5add testsuite: Fix T13025
4dec7d1 Testsuite: Skip failing tests on PowerPC 64-bit
f3b99c7 Bump array submodule
a370440 Fix various issues with testsuite code on Windows
bab4ae8 Fix incorrect statement about plugin packages.
9ff0738 Remove documentation about non-existent flag.
c560957 Disallow users to write instances of KnownNat and KnownSym
cc0abfa Update .mailmap
b28ca38 Don't suggest enabling TypeApplications when it's already enabled
8d63ca9 Refactor importdecls/topdecls parsing.
5800b02 Add specialization rules for realToFrac on Complex
683ed47 Don't use $ in the definition of (<**>) in GHC.Base
6b3c039 Typo in manual [ci skip]
df72368 Typofixes in manual and comments [ci skip]
2664641 Remove a redundant test
c909e6e Minor refactoring in CSE
baf9ebe Ensure nested binders have Internal Names
19d5c73 Add a CSE pass to Stg (#9291)
5d2a92a Use atomic counter for GHC.Event.Unique
5797784 Remove single top-level section in Foldable docs
5ef956e Fix doctests in Data.Functor
5f91ac8 Coerce for fmapDefault and foldMapDefault
e6aefd6 Use the right in-scope set
3540d1e Avoid exponential blowup in FamInstEnv.normaliseType
b4f2afe Fix the implementation of the "push rules"
5088110 Add performance test for #13056
3a18baf More fixes for #5654
f3c7cf9 Add missing stderr file for T13035
e5d1ed9 Have addModFinalizer expose the local type environment.
54227a4 Actually add the right file for T13035 stderr
c5452cc Revert "Have addModFinalizer expose the local type environment."
c1ed955 Have addModFinalizer expose the local type environment.
7b317ef TH: Add Trustworthy language pragma
6c869f9 Parse holes as infix operators
7d2e5da Fix zonk_eq_types in TcCanonical
a8a714e Typos in comments (and in a test)
1a6bdca Make HsIParamTy have a Located HsIPName
e94b07d CmmCommonBlockElim: Ignore CmmUnwind nodes
6fe9b05 Properly detect MinTTY when running GHCi on Windows
0a6c257 -dead_strip is now the default on Darwin
fe75d2d Ensure mkUserGuidePart is compiled with current GHC version
e8d7432 testsuite: Add performance testcase from #12707
12ad4d4 Throw an exception on heap overflow
226c535 base: Add Foreign.ForeignPtr.plusForeignPtr.
8a76d32 Check that type variable does not reference itself in its kind signature
58e68b3 Enable subsections via symbols on iOS
89d4d26 users-guide: Produce OpenSearch description
fe8bc14 Add doc header to Dynamic's re-export of Typeable
6de7613 event manager: Don't worry if attempt to wake dead manager fails
eee8199 Remove deprecated InteractiveEval API
5857dfb Remove tyConString
b1923ed Fix typo in comment
c2bd62e Expose purgeObj in ObjLink
35a5b60 testsuite driver: don't append to existing output files
22845ad Fix terminal corruption bug and clean up SDoc interface.
266a9dc Don't use the splitter on Darwin
09bce7a Mark *FB functions INLINE[0] (Fixes #13001)
8b15fc4 Fix references in let/app invariant note
2be364a Inline partially-applied wrappers
436aa7a Revert "event manager: Don't worry if attempt to wake dead manager fails"
5f9c6d2 Support for using only partial pieces of included signatures.
9f169bc Attach warnings to non-PVP compatible uses of signatures.
0bbcf76 Warn if you explicitly export an identifier with warning attached.
e41c61f Improve Backpack support for fixities.
5def07f Revamp Backpack/hs-boot handling of type class signatures.
8744869 Rewrite module signature documentation.
f59aad6 Fix handling of closed type families in Backpack.
501de26 Improve coment in typecheckIfacesForMerging.
f9df77e Add mkUserGuidePart.cabal to .gitignore
c6b0486 Typos in manual, comments and tests
89ce9cd Small refactoring in TcErrors
f5f6d42 Fix top-level constraint handling (Trac #12921)
6b976eb Record evaluated-ness on workers and wrappers
d3ad013 Typos in comments
8b6fa4f Spelling fixes in non-exported data type
a62701f Simplify CPP logic as we now need v7.10 for bootstrapping
dde63e0 Require python3 like everywhere else too
13a8521 Desugar static forms to makeStatic calls.
f63c8ef Use latin1 code page on Windows for response files.
331f88d Fix abort and import lib search on Windows
db91d17 Properly introduce CTimer to System.Posix.Types
c13151e Improve access violation reporting on Windows
1f48fbc Revert "Record evaluated-ness on workers and wrappers"
9d67f04 LLVM: Tweak TBAA metadata codegen
1ff3c58 Add dump-parsed-ast flag and functionality
4bfe3d4 Add missing test files for T13082.
be79289 Unbreak libGHCi by adding missing symbol.
5a9a173 Refine exprOkForSpeculation
563d64f Comments about TyBinders (only)
715be01 Typos in manual and comments [ci skip]
38f289f Fix API Annotations for unboxed sums
769e3ee testsuite/recomp001: Sleep to ensure that GHC notices file change
b1726c1 Bitmap: Use foldl' instead of foldr
19cc007 testsuite: Bump allocations for T12234
e7e5f7a Some 8.2.1 release notes for my stuff
d5cd505 event manager: Don't worry if attempt to wake dead manager fails
e195add Unquote ‘import’ in bad import error message
d360ec3 Split mkInlineUnfolding into two functions
2b61f52 Unbreak build with ghc-7.10.1
e324e31 Typos in comments only [ci skip]
70472bf Spelling fixes in comments [ci skip]
3046dbb testsuite: Really fix recomp001
0b7cd65 Clean up RTS Linker Windows.
852c6a0 Modify ForeignPtr documentation in light of plusForeignPtr
181688a Improve suggestion for misspelled flag including '=' (fixes #11789)
0d769d5 Add CBool to Foreign.C.Types
38374ca Fix get_op in the case of an unambiguous record selector (#13132)
e7985ed Update levity polymorphism
f5bea98 Fix the GHC 7.10 build
f07a6c1 Don't error on missing Perl, just warn and disable object splitting.
bf1e1f3 Add explicit foldMap implementation for Maybe
9be18ea Fix a nasty bug in exprIsExpandable
b78fa75 Simplify and improve CSE
b8f1b01 Test Trac #11444
5ff812c check-cpp.py: change rb'foo' to br'foo' for Python 3.2 compatibility
7026edc Add 'type family (m :: Symbol) <> (n :: Symbol)'
a2a67b7 Bump Cabal submodule
d49b2bb Allow top-level string literals in Core (#8472)
33140f4 Show explicit quantifiers in conflicting definitions error
b476131 Add a failing test for #13099
b626a00 testsuite: Don't fail if "target has RTS linker" field is missing
c43011d Clean up some shell code and M4 quoting
15b9a85 Warn on missing home modules
f9ccad2 Always use -Xlinker for -rpath
560bc28 Revert "Remove unnecessary isTyVar tests in TcType"
238f31c configure.ac: Eliminate stray close bracket
3f1a21d testsuite: Bump allocations on T5321Fun and T12707
5d38fb6 Remove clean_cmd and extra_clean usage from .T files
294f95d Preserve coercion axioms when thinning.
bbe8956 Rewrite Backpack comments on never-exported TyThings.
9ef237b Failing test for #13149.
6850eb6 Improve pretty-printing of IfaceCoercions
2b64e92 Apply the right substitution in ty-fam improvement
80560e6 Typos and grammar in manual/comments
18ceb14 Make checkFamInstConsistency faster
729a5e4 Don't quantify implicit type variables when quoting type signatures in TH
596dece Record evaluated-ness on workers and wrappers
532c6ad Make tickishContains faster
368d547 typecheck: Fix note
1761bfa users-guide: Document -dppr-ticks
53e2e70 Ensure that scrutinee constant folding wraps numbers
abaa681 Re-sort case alternatives after scrutinee constant folding (#13170)
a8c81f3 Document -fspecialise-aggressively
8f49f6d Add a failing test for #13102
7726fd7 Remove unused LOCAL_GHC_PKG definition from a test Makefile
90e83a7 Skip path_with_commas when dyn unavailable
9fd87ef Don't put foralls in front of TH-spliced GADT constructors that don't need them
99f8182 Partially revert D3001
deb75cb UniqSet: Implement unionManyUniqSets in terms of foldl' instead of foldr
efc8e3b nativeGen: Use `foldl'` instead of `foldr` in free register accumulation
2cc67ad HscTypes: Use foldl' instead of foldr
2aaafc8 Bump Win32 version.
65cc762 testsuite: Bump compiler allocations of T5837
675b54f Update .mailmap
e4ae78a Typos in comments [ci skip]
a1cd959 Add myself [ci skip]
078c211 Update Win32 submodule to fix Windows build
1a3f1ee COMPLETE pragmas for enhanced pattern exhaustiveness checking
95dc6dc Template Haskell support for COMPLETE pragmas
c344005 Generalize the type of runRW#
e4ab8ba Add pragCompleteDName to templateHaskellNames
88a89b7 Nix typo and redundant where-clauses
ff9355e Typos in comments [ci skip]
0d1cb15 Make type import/export API Annotation friendly
50544ee Prune unneeded Derive* language pragmas
ad3d2df Don't unnecessarily qualify TH-converted instances with empty contexts
3eebd1f Generalizes the type of asProxyTypeOf (#12805)
d8cb4b0 Bump nofib submodule
4e63e85 Bump hsc2hs submodule
2ffcdfa Fatal if we try to reinitialize the RTS
06b9561 Fix the right-shift operation for negative big integers (fixes #12136)
2af38b0 Remove Data.Tuple doc's claim to have tuple types
1f366b8 Add delete retry loop. [ci skip]
de78ee6 Document GHC.Profiling functions [ci skip]
bc42e2b Convert pprTrace in isPredTy to a WARN
34a0205 UNREG: fix "_bytes" string literal forward declaration
4441f90 UNREG: add a forward declaration for local literals
f60287c Fix mismatched tick in GHC.Generics documentation
d2cf5de Fix deprecation warnings from containers
2ec1c83 Fix broken tests
7363d53 Check that a default type signature aligns with the non-default signature
9169111 Add a flag to emit error messages as JSON
5593573 Fixes bug #11046
f41c27d Slighly clean up symbol loading error.
5f8e234 Print COMPLETE pragmas in --show-iface
f984bf2 Simplify minusInteger in integer-gmp slightly
9af1fb2 Fix links to building guides in MAKEHELP.md
e9a239c Fix minor typo in README.md
32729d3 Turn libraries/integer-gmp/gmp/tarball into a submodule
c71f0c4 Fix binary instance for SrcStrictness
748b797 Use top-level instances to solve superclasses where possible
b3576ed Mark reallyUnsafePtrEquality# as can_fail
cb4b4fe users guide: Fix markup of COMPLETE pragma examples
afc05c7 README: Mention acceptability of pull requests
44f079f FloatOut: Allow floating through breakpoint ticks
4dfc6d1 Abstract over the way eventlogs are flushed
b15136a user-guide: fix links and file names (fixes #13198)
25e0cfc Export callStackDoc
99e920c Typos in note header and test
f660306 Update output of failing 11223 tests
4fa439e Remove very broad ignore. [ci skip]
8d5cf8b Join points
3d65411 testsuite: Update allocations for T12234
d2b681b Fix documentation NOTE about can_fail
5cb5b7a base: Derive Enum, Bounded for VecCount, VecElem
f5b275a Don't tick top-level string literals
1fcede4 Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
b16239a Make interface loading for COMPLETE pragmas lazy
eedb3df Add support for StaticPointers in GHCi
8dd82ea Spelling fixes
d8ac64e Add a testcase for #13227
b103532 Exhaustiveness check for EmptyCase (Trac #10746)
895aa6d Bump haskeline submodule
5728f4b Remove INLINE pragma on loopbreaker
6128b2f users-guide: Explain behavior of verbose-core2core + dump-inlinings
bbd3c39 Ditch static flags
09b8332 Get rid of ProbOneShot
c2becee Bump performance mark for T9020
afa409f Use tyCoVarsOfType for CTyEqCan in shouldSplitWD
2f5cb3d Attempt to make lazy ST thread safe
9984024 Fix comment (old file names) in includes/
31bb85f Fix comment (old file names) in rts/
8d60d73 Fix comment (old file names) in compiler/
4d31880 Fix comment (old filename '.lhs') in libraries/
283acec Make split sections by default work again
18cdef3 Fix minusNatural exception to be Underflow
157a46f Update binary submodule to 0.8.4.1
2912231 Improve wrapTicks performance with lots of redundant source notes
68cbe52 Don't panic when printing match with RecUpd context
bd818a7 Fix comment (old file names) in mk/ and utils/
8212135 New internal dynamic flag: Very aggressive inlining
54b9b06 Expose cseExpr from CSE
a2f39da Add liftA2 to Applicative class
fbcef83 Use proper primitives in Utils.Binary
0abe736 Don't replace type family instances with the same LHS in GHCi (#7102)
adb565a Don't return empty initial uncovered set for an unsat context
26f5e60 Fix comment (old file names '.hc' ) in libraries/
563148c Fix broken link of GHC.RTS.Flags
795bc49 Fixes for OccurAnal bugs (#13221)
a9754e3 testsuite: Update expected values for T13035 and T12234
b572aad Do Worker/Wrapper for NOINLINE things
2dff54b Typos in comments [skip ci]
4aae191 Typos in comments [skip ci]
a28a552 Remove unnecessary use of -DGENERICS flag
2219c8c Derive <$
17ae5e7 Typos in comments [skip ci]
a0174d2 Do not inline bottoming things
f77e99b Comments only
b8f58d7 Another improvement to SetLevels
078beea Docs: Fix typo in glasgow_exts.rst
5ce39f6 Add Wredundant-constraints to list of flags excluded from -Wall
d5e9b7f Use better map operations in CoreMonad
e90f611 Clean up findPartiallyCompletedCycles
369c534 testsuite: Bump max_bytes_used for T4029
0aa3f8d testsuite: Bump bytes allocated for T5837
8c25be8 cpeApp: Make Int accumulator strict
bc376d3 Update Core formalize for Levity -> RuntimeRep
062f112 Fix push_bang_into_newtype when the pattern match has no arguments
3e07126 Fix comment of `section "Exceptions"`
db3a797 Fix comment (broken link to users_guide) in $(TOP)/
015e97a Pass -v0 to ghc-pkg to reduce noise in build ouput
512f157 Update hoopl submodule
b990f65 More typos in comments [skip ci]
8e9593f Improve the simple optimiser
421308e Improve -dsuppress-coercions
3eb737e Generalize CmmUnwind and pass unwind information through NCG
733e845 CmmLayoutStack: Add unwind information on stack fixups
3328ddb Cmm: Add support for undefined unwinding statements
5279b08 CmmLayoutStack: Correctly annotate Sp adjustments with unwinding information
34e3523 Fix stop_thread unwinding information
9f3c1e6 Add some commented-out tracing in SpecConstr
3cfef76 Kill inaccessible-branch complaints in record update
a94b484 Back-pedal the fix for Trac #8155
7e4e6a7 Add dump flags for the renamed and typechecked hsSyn ASTs
41c7437 users-guide: Document defaults for remaining optimization flags
082936d Fix documentation for setByteArray#
afaf6d5 Bump array submodule
b9bebd8 Implement addCStub in template-haskell.
e8f5efb Tweaks and typos in manual, note refs, comments
a6a4d0e Bump array submodule
d266aac Library docs: Document the order for sort and sortOn.
b92ca83 Bump bytestring submodule
c22cd7c testsuite: Add testcase for #13248
a5a6c52 Guard rewritableTyVarsOfType
258c719 TH-spliced class instances are pretty-printed incorrectly post-#3384
3211fa0 Spelling in comments [ci skip]
76244ec Change rewritableTyVarsOfType to anyRewritableTyVar
283a346 Prevent Template Haskell splices from throwing a spurious TypeInType error
e79ef75 Relax test TH_addCStub2 so it succeeds on travis.
639e702 Refactor DeriveAnyClass's instance context inference
594123f IcmmMachOpFoldM: clarify panic message
7fac7cd Dwarf.Types: Use DW_CFA_same_value encoding when possible
17b1e0b Mark orphan instances and rules in --show-iface output
a1980ec Improve the Occurrence Analyzer’s handling of one-shot functions
26eaa7e Fix #13214 by correctly setting up dep_orphs for signatures.
1a14d38 rts/Profiling: Kill a few globals and add consts
56c9bb3 rts/Profiling: Factor out report generation
07292e9 zonkCt tries to maintain the canonical form of a Ct.
64da671 Binary: Only allocate un-interned FastStrings
7938ef2 Avoid repeated list elem checks
4e2e9b7 Fix: Default FD buffer size is not a power of 2 (#13245)
805db96 Fix: hPutBuf issues unnecessary empty write syscalls for large writes (#13246)
6b4e46a bufWrite: Save extra syscall when data fills handle buffer completely.
a50082c Apply SplitSections to all C compilations
d3ea38e Binary: Correct endian issue when cross-compiling
e46a2e1 Bump hoopl submodule to 3.10.2.2
a4ccd33 Add index entry for signature files / Backpack.
8e9ad24 Setup more error context for Backpack operations.
c81f3bc Remove obsolete Backpack manual.
2f16484 Slightly reword not-exported message.
7666a9f Disable PVP warnings temporarily.
20b5dfc Typos in notes and comments [ci skip]
2d6e91e Debug: Use local symbols for unwind points (#13278)
60c4986 Typecast covers entire expression to fix format warning.
6626242 TcUnify: Assert precondition of matchExpectedTyConApp
2484d4d Refactor renaming of operators/sections to fix DuplicateRecordFields bugs
04f67c9 Expand list of always loaded Windows shared libs
2f1017b Fix ExtraSymbols jump table on Windows.
c3bbd1a Allow type defaulting for multi-param type classes with ExtendedDefaultRules
da49389 Implement HasField constraint solving and modify OverloadedLabels
392cec4 Update .mailmap [skip ci]
bedcb71 Check local type family instances against all imported ones
f90e61a Make deSugarExpr use runTcInteractive
93e65c8 Don't warn about missing methods for instances in signatures.
e28fbbb Typos [ci skip]
fc9d152 Comments and tiny refactor only
6bab649 Improve checking of joins in Core Lint
b8c29bc Use the correct origin in SectionL and Section R
f4aa998 Better perf for haddock.base, haddock.Cabal
e52a335 Comments only, about inl_inline and inl_act
8d401e5 Honour -dsuppress-uniques more thoroughly
e55986a Fix a substitution bug in cseCase
0e76017 Simplify OutputableBndr
ca54315 Fix a Backpack recompilation avoidance bug when signatures change.
22dba98 Fix recompilation tracking on signatures.
fd2d5b6 Improvements/bugfixes to signature reexport handling.
8916884 Say 'data' explicitly in IfAbstractTyCon output.
7c057b5 Bump libraries/array submodule
efeaf9e Bump nofib submodule
b207b53 Generalize kind of the (->) tycon
8fa4bf9 Type-indexed Typeable
42ff5d9 Disable Typeable binding generation for unboxed sums
98e494a Improve Haddock documentation for compact.
dae5003 Remove ghc-api/landmine tests
0aafe51 Typos in manual, tests and comments
2d5be63 Change -dppr-ticks to -dsuppress-ticks
8a9b57f Kill off the remaining Rec []
3f653c1 Fix Core pretty printer
8dd4e3b Remove redundant import
27a2854 A number of Typeable wibbles from review
087dbbe Bump Cabal submodule
6ad89d7 Bump a few more performance regressions from Type-indexed Typeable
240b43e Bump Win32 submodule to 2.5.1.0
7153370 Bump time submodule to 1.8
b7265ff build.mk: Add option for debug symbols
59026b3 Spelling in comments only
fd841f8 Fix DeriveAnyClass (again)
713ebd7 Fix computation of dfun_tvs in mkNewTypeEqn
95cbb55 Refactor inferConstraints not to use CPS
82694e6 testsuite: Fix allocations of T10547
e790126 Improve Core Lint, mainly for join points
6e32884 Fix SetLevels for join points
4080a63 Minor spelling, grammar, and formatting fixes
611f998 Replace some pushTcLevelM's with pushTcLevelM_
0d43f74 A little refactoring of the simplifier around join points
0c9d9de Remove panics for TcTyCon
e3e218e A bit more tc-tracing in TcTyClsDecls
c750808 Disallow class instances for synonyms
3c62b1d Gather constraints locally in checkMain
499a15d Test Trac #13300
9ef2749 Fix all broken perf tests on x64 Windows
8ccbc2e Bump Cabal and containers submodules
b125392 Test Trac #13271
484f8d3 Fix ApplicativeDo constraint scoping
fed7136 Test Trac #13244
254bc33 A much nicer solution for typechecking ApplicativeDo
c8d995d Bump time submodule
c347a12 Revert recent submodule bumps
992ea02 Changelog notice for compact.
5841574 Drop NFData constraint from compact.
8a6b8c5 Export commentToAnnotation from Lexer.x
9a2a2ae Spelling only [ci skip]
050f05d testsuite: Bump a performance tests
de80558 Give better error message with you run ghc foo.bkp
0a77ced Have --backpack complain if multiple files are passed.
a204333 JSON profiler reports
3cb9b52 Set $1_$2_SplitSections in distdir-opts.mk not build-package.mk
48a967c testsuite: Remove old python version tests
7d116e5 rts: Correct the nursery size in the gen 1 growth computation
6ca6a36 base: Add handling of -- to getArgs for Windows
bb1c660 ghci users guide: mention "~" expansion in :add
12e21d3 Use half as much memory when reading interfaces
39d926c More tracing in SpecConstr
8f8016a Include OverloadedRecordFields selectors in NameShape.
4ad3620 Fix parsing of And chains in BoolFormula
8d64395 Correct Windows libdir assumptions.
c88b7c9 Add instances for (:~~:) mirroring those for (:~:)
a6e13d5 Make exprIsConApp_maybe work better for literals strings
67c2e07 Add API Annotation AnnSignature for backpack signature modules
9b859ef Make SCCFunSig tag Located for ghc-exactprint
00c0120 Add a comment explaining CompleteMatchSig in HsBinds
93ffcb0 Document AMP as a Report deviation
9d17028 Record full FieldLabel in ifConFields.
7c060e4 Fix validate.
8f15ab9 Delete redundant import.
8f20844 Correctly pretty print a wild card in infix position
a0b4a2a Rename compact to ghc-compact.
cae1a71 Bring in unicode variants of API Annotations for HsBracket
41e54b4 Load dependent dlls.
9968502 Make list of deprecated symbols on Windows weak.
be3f436 Load `pthreads` by default on Windows
97b1505 rts: Usage message wibbles
d4b6dee testsuite: Bump down T2762 number
517ad20 Add testcase for #13340
ad617a3 Bring sanity to openTempFile
2aac0ba Update OverloadedLabels docs and document HasField
ff9ff4a Change -ddump-tc-trace output in TcErrors, slightly
9bc4311 Fix SetLevels for makeStaticPtr
a7eeb60 build system: Persist CrossCompiling in binary distributions
d2f4849 Coercion: Try dropping constraintIsLifted axiom
bcffc35 Move Typeable Binary instances to binary package
b494689 users-guide: Add documentation for JSON profile format
0d86aa5 Add support for concurrent package db access and updates
6dfc5eb Ensure that Literals are in range
ac55394 Bump hpc submodule to allow time-1.8
35b5790 Manually move extra_files for tests T9579_*
8bb63c2 Remove extra_files entries for deleted tests
98119f5 tests: manually move some extra_files into *.T files
3415bca tests: remove extra_files.py (#12223)
5c95e6b Remove outdated information about main() in HSrts (#1)
9603de6 Treat all TyCon with hole names as skolem abstract.
923d7ca Subtyping for roles in signatures.
e4188b5 Refactor floating of bindings (fiBind)
4f38fa1 Add -fspec-constr-keen
76f2cd0 Occurrence-analyse the result of rule firings
c0af206 Explicitly capture whether a splice has a dollar prefix
0f7a369 Stop uniques ending up in SPEC rule names
990f182 Fix windows build broken by D3080 (0d86aa5904e5a06c93632357122e57e4e118fd2a)
c435402 Fix Mac OS X timestamp resolution bug.
377bf37 Clear import path in --backpack mode to not accidentally pick up source files.
36b6e13 DmdAnal: Clarify reference to Cardinality Analysis paper
e94bfb6 configure: detect whether -lpthreads is necessary for pthreads
1db71f5 base: Expose Module from Type.Reflection
5dc28ba Add Eq instances for TrName, Module
d0508ef When floating, don't box an expression that's okay for speculation (#13338)
c662d41 Small changes to expression sizing in CoreUnfold
c686af5 Add flag allowing convenient disabling of terminfo support
db2a667 rts: Allow profile output path to be specified on RTS command line
29b5723 Again disable stage0 terminfo on Windows
1990bb0 Make Specialise work with casts
fc6c222 Inline data constructor wrappers in phase 2 only
65c41cc config.mk.in: Disable terminfo support on iOS
23aca13 iOS: shared objects have .dylib extension.
aa2143e Improve documentation for CreateBCOs Message.
3e33d33 Drop copy step from the rts/ghc.mk
122c677 Add COMPLETE pragmas for TypeRep and ErrorCall pattern synonyms
5fdb2b1 Try submodule bumps again
defef52 testsuite: Bump down T5837 and T10370 allocations
55efc97 Combine identical case alternatives in CSE
2effe18 The Early Inline Patch
4f10a22 Fix redundant import in CSE
cdf6b69 Add VarSet.anyDVarSet, allDVarSet
871b63e Improve pretty-printing of types
6eb52cf Improve SetLevels for join points
777b770 Mark non-recursive join lambdas as one-shot
2ab6ce7 Move isJoinId, isJoinId_maybe to Id
916658d Update containers again
b86d226 rts: Fix build
701256d Change catch# demand signature
cbe569a Upgrade UniqSet to a newtype
d118807 Document interaction between ApplicativeDo and existentials (#13242)
d4a6a7f Fix expected result from T13143
fb06bee Bump bytes allocated for T12234
537ce41 Typeable: Rename KindRep bindings to $krep...
55f6353 SymbolExtras: A bit of spring cleaning
5f7b45a Properly acquire locks on not yet existing package databases
63191e9 testsuite: Mark T13340 as fixed
27a1b12 User manual: Fix GADT paper link
ae67619 Eliminate ListSetOps from imp_trust_pkgs
bc332b3 Prohibit RULES changing constructors
f56fc7f Extend Windows runtime loader libsearch
4aada7a More comments on role subtyping, unsoundness fix.
984c609 Disallow non-nullary constraint synonyms on class.
e710686 Injective type families imply nominal injectivity, but NOT rep inj
fb5cd9d Properly represent abstract classes in Class and IfaceDecl
df919fb Fix roles merging to apply only to non-rep-injective types.
bba004f Prevent users from defining instances for abstract classes.
57ef18a Typofix.
57d969e Fix T12234 stat mistakes
a6874e5 Add -fwhole-archive-hs-libs
0b92290 Print out sub-libraries of packages more nicely.
fce3d37 Don't allow orphan COMPLETE pragmas (#13349)
e12ebf8 Fix up test results.
27bf6b6 Don't float out expressions that are okay for speculation
4b1f072 Add suggestion for PatternSynonyms parse error (fixes #12429)
488a9da Changed parser message for RankNTypes (#12811)
6421c6f testsuite: Move echoing commands in make invocations to VERBOSE=5
615ded1 Show: Add ShowS for ", "
0d2f733 Read COMPLETE sets from external packages
ca538b8 testsuite: Fix output due to recent COMPLETE changes
c02896a Revert "Read COMPLETE sets from external packages"
61e760b Update test completesig04
9808ebc testsuite: Bump down allocations for T12707
fa360ea testsuite: Add comment clarifying intention of completesig04
a694cee TcTypeable: Try to reuse KindReps
c1dacb8 Produce KindReps for common kinds in GHC.Types
10d28d0 testsuite: Add test for floating-point abs (numrun015)
6446254 Deserialize IfaceId more lazily
5ed56fc Comments only, in CSE (#13340)
d5e0b4b Allow iOS to load archives through the linker
0ce11ae Add test to ensure that SPEC rules are named deterministically
96f5656 testsuite: Bump down allocations of T4029
81b284e Add new warning for bad CPP #if usage
More information about the ghc-commits
mailing list