[commit: ghc] wip/ttypeable's head updated: fixup! Clean up build issues (75b19c0)
git at git.haskell.org
git at git.haskell.org
Sun Jan 29 20:22:42 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
Branch 'wip/ttypeable' now includes:
d122935 Mark mapUnionFV as INLINABLE rather than INLINE
68f72f1 Replace INLINEABLE by INLINABLE (#12613)
55d92cc Update test output
bc7c730 Pattern Synonyms documentation update
796f0f2 Print foralls in user format
b0ae0dd Remove #ifdef with never fulfilled condition
c36904d Fix layout of MultiWayIf expressions (#10807)
f897b74 TH: Use atomicModifyIORef' for fresh names
0b6024c Comments and manual only: spelling
13d3b53 Test Trac #12634
f21eedb Check.hs: Use actual import lists instead of comments
0b533a2 A bit of tracing about flattening
2fbfbca Fix desugaring of pattern bindings (again)
66a8c19 Fix a bug in occurs checking
3012c43 Add Outputable Report in TcErrors
b612da6 Fix impredicativity (again)
fc4ef66 Comments only
5d473cd Add missing stderr file
3f27237 Make tcrun042 fail
28a00ea Correct spelling in note references
b3d55e2 Document Safe Haskell restrictions on Generic instances
9e86276 Implement deriving strategies
b61b7c2 CodeGen X86: fix unsafe foreign calls wrt inlining
59d7ee5 GHCi: Don't remove shadowed bindings from typechecker scope.
3c17905 Support more than 64 logical processors on Windows
151edd8 Recognise US spelling for specialisation flags.
f869b23 Move -dno-debug-output to the end of the test flags
d1b4fec Mark T11978a as broken due to #12019
1e795a0 Use check stacking on Windows.
c93813d Add NUMA support for Windows
2d6642b Fix interaction of record pattern synonyms and record wildcards
1851349 Don't warn about name shadowing when renaming the patten in a PatSyn decl
ce3370e PPC/CodeGen: fix lwa instruction generation
48ff084 Do not warn about unused underscore-prefixed fields (fixes Trac #12609)
0014fa5 ghc-pkg: Allow unregistering multiple packages in one call
b0d53a8 Turn `__GLASGOW_HASKELL_LLVM__` into an integer again
f547b44 Eliminate some unsafeCoerce#s with deriving strategies
23cf32d Disallow standalone deriving declarations involving unboxed tuples or sums
4d2b15d validate: Add --build-only
42f1d86 runghc: use executeFile to run ghc process on POSIX
3630ad3 Mark #6132 as broken on OS X
8cab9bd Ignore output from derefnull and divbyzero on Darwin
e9104d4 DynFlags: Fix absolute import path to generated header
eda5a4a testsuite: Mark test for #12355 as unbroken on Darwin.
22c6b7f Update Cabal submodule to latest version.
8952cc3 runghc: Fix import of System.Process on Windows
7a6731c genapply: update source file in autogenerated text
c5d6288 Mark zipWithAndUnzipM as INLINABLE rather than INLINE
e4cf962 Bring Note in TcDeriv up to date
465c6c5 Improve error handling in TcRnMonad
58ecdf8 Remove unused T12124.srderr
4a03012 Refactor TcDeriv and TcGenDeriv
a2bedb5 RegAlloc: Make some pattern matched complete
57a207c Remove dead code “mkHsConApp”
cbe11d5 Add compact to packages so it gets cleaned on make clean.
e41b9c6 Fix memory leak from #12664
f3be304 Don't suggest deprecated flags in error messages
76aaa6e Simplify implementation of wWarningFlags
082991a Tc267, tests what happens if you forgot to knot-tie.
3b9e45e Note about external interface changes.
940ded8 Remove reexports from ghc-boot, help bootstrap with GHC 8.
887485a Exclude Cabal PackageTests from gen_contents_index.
00b530d The Backpack patch.
4e8a060 Distinguish between UnitId and InstalledUnitId.
5bd8e8d Make InstalledUnitId be ONLY a FastString.
027a086 Update haddock.Cabal perf for Cabal update.
61b143a Report that we support Backpack in --info.
46b78e6 Cabal submodule update.
e660f4b Rework renaming of children in export lists.
f2d80de Add trailing comma to fix the build.
21647bc Fix build
7b060e1 Generate a unique symbol for signature object stub files, fixes #12673
bcd3445 Do not segfault if no common root can be found
8dc72f3 Cleanup PosixSource.h
6c47f2e Default +RTS -qn to the number of cores
85e81a8 Turn on -n4m with -A16m or greater
1a9705c Escape lambda.
b255ae7 Orient improvement constraints better
b5c8963 Rename a parameter; trivial refactor
88eb773 Delete orphan where clause
76a5477 Move zonking out of tcFamTyPats
cc5ca21 Improved stats for Trac #1969
a6111b8 More tests for Trac #12522
b5be2ec Add test case for #12689
f8d2c20 Add a broken test case for #12689
8fa5f5b Add derived shadows only for Wanted constraints
d2959df Comments and equation ordering only
bce9908 RnExpr: Actually fail if patterns found in expression
577effd testsuite: Bump T1969 allocations
184d7cb Add test for #12411
042c593 Add test for #12589
fef1df4 Add test for #12456
57f7a37 Add missing @since annotations
2fdf21b Further improve error handling in TcRn monad
015e9e3 Cabal submodule update.
1cccb64 Unique: Simplify encoding of sum uniques
34d933d Clean up handling of known-key Names in interface files
3991da4 MkIface: Turn a foldr into a foldl'
aa06883 Improve find_lbl panic message
90df91a PrelInfo: Fix style
8c6a3d6 Add missing Semigroup instances for Monoidal datatypes in base
d5a4e49 Make error when deriving an instance for a typeclass less misleading
3ce0e0b Build ghc-iserv with --export-dynamic
6c73932 Check for empty entity string in "prim" foreign imports
0d9524a Disable T-signals-child test on single-threaded runtime
e39589e Fix Windows build following D2588
b501709 Fix Show derivation in the presence of RebindableSyntax/OverloadedStrings
512541b Add a forward reference for a Note
afdde48 Correct name of makeStableName in haddock
3174beb Comments about -Wredundant-constraints
82b54fc Fix comment typo
692c8df Fix shadowing in mkWwBodies
609d2c8 Typo in comment
a693d1c Correct order of existentials in pattern synonyms
f7278a9 Fix wrapping order in matchExpectedConTy
1790762 Test Trac #12681
db71d97 Reduce trace output slightly
156db6b Add more variants of T3064 (in comments)
a391a38 Comments only
f43db14 Typos in comments
3adaacd Re-add accidentally-deleted line
9cb4459 testsuite: Work around #12554
deed418 testsuite: Mark break011 as broken
8b84b4f testsuite: Mark T10858 as broken on Windows
3325435 testsuite: Mark T9405 as broken on Windows
8bb960e testsuite/driver: Never symlink on Windows
c6ee773 testsuite/timeout: Ensure that processes are cleaned up on Windows
17d696f validate: Allow user to override Python interpreter
7d2df32 testsuite/driver: More Unicode awareness
5b55e4b testsuite: Eliminate unnecessary compile_timeout_multiplier
2864ad7 testsuite/driver: Allow threading on Windows
c5c6d80 testsuite: Mark T7037 as broken on Windows
cf5eec3 Bump parallel submodule
8fa2cdb Track dep_finsts in exports hash, as it affects downstream deps.
f148513 Add option to not retain CAFs to the linker API
1275994 remove unnecessary ifdef
46f5f02 fixup! Add option to not retain CAFs to the linker API
7129861 DynamicLoading: Replace map + zip with zipWith
161f463 ghc/Main.hs: Add import list to DynamicLoading
fa8940e fix build failure on Solaris caused by usage of --export-dynamic
a3bc93e Add some missing RTS symbols
3866481 Compute export hash based on ALL transitive orphan modules.
02f2f21 cmm/Hoopl/Dataflow: remove unused code
1f09c16 Test for newtype with unboxed argument
2cb8cc2 StgCmmPrim: Add missing write barrier.
a6094fa configure.ac: Report Unregisterised setting
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
4206a0c [WIP] Coercion: Represent arrows explicitly
5c522f9 TcSMonad: Introduce tcLookupId
16e3617 CoreLint: Improve debug output
0ac9466 Start implementing library side of TTypeable
b3ffe51 Fix rebase
d78b3fd Add quick compatibility note
473288e Fix warnings
91e5c2f Various fixes
69ddbb9 Fix serialization
ebde9e4 Implement Data.Typeable.funResultTy
74b9694 Binary: More explicit pattern matching
1d16eb5 More serialization
7e16c17 Message: Import Data.Typeable.TypeRep
482e7cd TcInteract: Unused parameter
ca62568 Fix a few TTypeRep references
e245e83 Fix recursive fingerprints
ace8fd9 Finally serialization is both general and correct
2671802 Break recursive loop in serialization
12477d6 Kill todo
ce229eb Fix up representation pretty-printer
e68d961 Another recursive serialization case
8d7ed74 TcTypeable: Don't generate bindings for special primitive tycons
bdff108 Move special tycons
f83025c Internal things
57ec619 Fix primitive types
fe5bcf6 Fix pretty-printer
e01ebe4 Kill debugShow
957ac8d Inline space
73e17b3 Accept easy test output
ff407d5 Add mkFunTy
7d8c0c3 More test fixes
8c3cc63 Fix T8132
3006200 Render TYPE 'PtrRepLifted as *
b106230 Internal: Rename type variable
eef1797 Implement withTypeable
1410730 Bump base to 4.10.0
e6f1b12 Fix withTypeable
aa8510a Rework Show
bfdeae0 Clarify serialization errors
2db3572 Kill redundant comment
0a16af4 Note need for mkTrApp
9abac3c Make TRApp bidirectional
3bd60ba Add TRArrow pattern synonym
4daf937 Fix up type printer
0eacb10 TcInteract: Fix something
622eb75 Fix showTypeable
ee5a085 Fix serialization
6371dba Clarify comments
2a7b4e8 Binary: Simple serialization test works
f03a227 Give unboxed tuples type representations
4c17891 testsuite/TypeRep: Add test for #12409
009b607 testsuite: Add test of Typeable Binary instances
63d611b TcTypeable: Clarify comment
414aa45 Temporarily override submodule upstream repo paths
82897d3 Add a TestEquality TypeRep instance
26952ca Debug
f6bcb2d Add reference to precedence note
4b79d99 Unpack the fingerprints
0098ba2 Fix it
765bc30 Introduce TrFun
10f40d5 Things
541c138 Rename TypeRepX to SomeTypeRep
611e199 Begin reverting to Simon's story
d86c376 Begin reintroducing typeRepKind
1a644df Continue reintroduction of kind representations
2c2c2c6 Continue
979b758 Rip out manual TypeReps
be9f9f2 base: Derive Enum, Bounded for VecCount, VecElem
a52df0a Getting there
f74e8f2 Enum Vec*
7c41111 TcTypeable: Fix it
0d039fa Fix up submodules
cc90a29 TcTypeable: It compiles GHC.Types!
2fc04db TcTypeable: Kill tracing
2fa2dae Message: Fix it
d53585c ghc-bin: Bump time bound
5988da0 Fix it
e912ddf Things
ac90630 Fixes
5554455 Revert "TcTypeable: Kill tracing"
ed590f0 Fix up rebase
b169b7e Un-bump time bound
4f27d3d Fix unique clash
c56580f Fix hs-boot file
ccd8b09 Fix up Binary instances
2bba4e0 Add explicit forall to SomeTypeRep
8bd1218 TcTypeable: Look through type synonyms
a0b139d Fix utils/Binary
142f89c Begin work on kind computation
80800f0 Binary: Compatibility with base<4.10
529bbc9 TcTypeable: Fix kind variable count
0129388 TcTypeable: A bit more debug output and fix binder ordering
5e00482 Internal: Various cleanups
8e5addb Hi
f0a6eec Reenable Core Lint
dfd90e2 Fix up obviously incorrect comparisons
e93b95e Clean up whitespace
132fddc Fix kind instantiation
81b9058 Export mkTrFun
4538c79 Kill dead TODO
eda8b06 TcTypeable: Be more careful about non-representable types
a617532 Handle literal kinds
4268d60 Generate Typeable declarations for types in hs-boot files
f99b787 Simplify treatment of type lits
db8ec27 Revert OccName changes
cac1821 Clean up build issues
42f4758 Clean up Data.Dynamic
75b19c0 fixup! Clean up build issues
More information about the ghc-commits
mailing list