summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Make LHsQTyVars actually Located, and locate HsForAllTy.hst_bndrswip/T14529Alan Zimmerman2017-12-0215-103/+123
| | | | So that AnnDot and AnnForAll can attach to the right places (API Annotations)
* More on ConDeclH98Simon Peyton Jones2017-11-2811-113/+79
|
* Most of Trac #14529Simon Peyton Jones2017-11-2821-465/+548
| | | | | | | | | | This is all about refactoring ConDeclGADT Better comments later. Validates all except ghc-api/annotations/T10278.run T10278 [bad exit code] (normal) ghc-api/annotations/T10399.run T10399 [bad exit code] (normal)
* Check quantification for partial type signatuesSimon Peyton Jones2017-11-275-49/+103
| | | | | | | | | | | Trac #14449 showed that we were failing to check that the quantified type variables of a partial type signature remained distinct. See Note [Quantified variables in partial type signatures] in TcBinds. A little refactoring along the way.
* boot: Eliminate superfluous outputBen Gamari2017-11-271-1/+0
|
* RtsFlags: allow +RTS -K0Ben Gamari2017-11-273-1/+14
| | | | | | | | | | Reviewers: erikd, simonmar, hvr Reviewed By: hvr Subscribers: hvr, rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4238
* Add obvious Outputable Integer instance.klebinger.andreas@gmx.at2017-11-271-0/+3
| | | | | | | | | | Reviewers: bgamari Reviewed By: bgamari Subscribers: rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4232
* Follow symlinks in the Win32 code for System.Environment.getExecutablePathAlp Mestanogullari2017-11-272-5/+82
| | | | | | | | | | | | | | | | | This partially addresses #14483 by fixing the Windows implementation of System.Environment.getExecutablePath. This is achieved by using GetFinalPathNameByHandleW to resolve potential symlinks, while making sure we do not get back a UNC path (see #14460). Test Plan: Validate Reviewers: Phyx, bgamari, angerman, hvr, goldfire Reviewed By: Phyx, bgamari GHC Trac Issues: #14483 Differential Revision: https://phabricator.haskell.org/D4227
* Don't complain about UNPACK in -fno-code.Edward Z. Yang2017-11-274-2/+34
| | | | | | | | | | | | Test Plan: validate Reviewers: ekmett, austin, bgamari Reviewed By: bgamari Subscribers: duog, goldfire, rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4155
* CircleCI: Reenable artifact collection on DarwinBen Gamari2017-11-241-3/+2
| | | | Supposedly the original issue has been fixed.
* base: fdReady(): Fix timeouts > ~49 days overflowing. Fixes #14262.Niklas Hambüchen2017-11-245-62/+212
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | On 64-bit UNIX and Windows, Haskell `Int` has 64 bits but C `int msecs` has 32 bits, resulting in an overflow. This commit fixes it by switching fdReady() to take int64_t, into which a Haskell `Int` will always fit. (Note we could not switch to `long long` because that is 32 bit on 64-bit Windows machines.) Further, to be able to actually wait longer than ~49 days, we put loops around the waiting syscalls (they all accept only 32-bit integers). Note the timer signal would typically interrupt the syscalls before the ~49 days are over, but you can run Haskell programs without the timer signal, an we want it to be correct in all cases. Reviewers: bgamari, austin, hvr, NicolasT, Phyx Reviewed By: bgamari, Phyx Subscribers: syd, Phyx, rwbarton, thomie GHC Trac Issues: #14262 Differential Revision: https://phabricator.haskell.org/D4011
* users-guide: Fix :default: placementBen Gamari2017-11-231-1/+1
|
* DynFlags: Expand $topdir in --info outputBen Gamari2017-11-231-1/+2
| | | | | | | | | | Test Plan: Try running nofib on Windows Reviewers: Phyx Subscribers: rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4222
* SysTools: Split up TopDir logic into new moduleBen Gamari2017-11-233-184/+212
| | | | | | | | | | Test Plan: Validate on Linux and Windows Reviewers: erikd Subscribers: rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4225
* SysTools: Expand occurrences of $topdir anywhere in a Settings pathBen Gamari2017-11-231-18/+19
| | | | | | Subscribers: rwbarton, thomie, Phyx Differential Revision: https://phabricator.haskell.org/D4221
* rts/Printer: add closure name entries for small arrays (Fixes #14513)Takano Akio2017-11-232-1/+11
| | | | | | | | | | | | | | Test Plan: ./validate Reviewers: bgamari, erikd, simonmar Reviewed By: bgamari Subscribers: rwbarton, thomie GHC Trac Issues: #14513 Differential Revision: https://phabricator.haskell.org/D4226
* CircleCI: Install lbzip2 and patchBen Gamari2017-11-231-2/+2
| | | | tar needs lbzip2 to extract the GMP tarball. Patch is needed to, well, patch.
* circleci: Build with HadrianBen Gamari2017-11-231-0/+29
|
* CircleCI: Try validating LLVM as wellBen Gamari2017-11-231-1/+43
|
* CircleCI: Perform nightly validation of unregisterised buildBen Gamari2017-11-231-0/+31
|
* Fix READMEBen Gamari2017-11-231-172/+106
| | | | | This was unfortunately overwritten by the Hadrian README in a previous Hadrian merge.
* Revert "Add new mbmi and mbmi2 compiler flags"Ben Gamari2017-11-2222-646/+1
| | | | | | This broke the 32-bit build. This reverts commit f5dc8ccc29429d0a1d011f62b6b430f6ae50290c.
* Update HadrianBen Gamari2017-11-2212-141/+305
|\
| * Squashed 'hadrian/' changes from fa3771fe6b..4499b294e4Ben Gamari2017-11-2212-37/+135
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 4499b294e4 Follow GHC changes 8fd68186b2 Add ways to build hadrian using nix e5c7a29c23 Do not depend on the in-tree filepath library 9dd7ad2acc Fix dependencies 497184390e Bring mtl dependency back 6c5f5c9bd9 Minor clean up of Hadrian dependencies 9aff81d424 Fix Windows build fa95caa8df Unbreak `cabal new-build` git-subtree-dir: hadrian git-subtree-split: 4499b294e4a53f71f8808d6eb55a7dd0b341cfb8
* | ErrUtils: Ensure timing dumps are always output on one lineBen Gamari2017-11-211-0/+1
| | | | | | | | | | This output is supposed to be machine-readable; having random line-breaks defeats this.
* | ErrUtils: Refactor dump file logicBen Gamari2017-11-211-37/+45
| | | | | | | | | | This refactors the dump file setup path, separating concerns a bit. It also fixes an exception-unsafe usage of openFile.
* | Bump stm submoduleBen Gamari2017-11-211-0/+0
| |
* | base: Remove redundant subtraction in (^) and stimesBen Gamari2017-11-212-6/+18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Subtraction `y - 1` is redundant. The value of y is guaranteed to be positive and odd, so ``` (y - 1) `quot` 2` = `y `quot` 2 ``` Test Plan: validate Reviewers: hvr, bgamari Reviewed By: bgamari Subscribers: rwbarton, thomie GHC Trac Issues: #14439 Differential Revision: https://phabricator.haskell.org/D4173
* | cmm: Optimise remainders by powers of twoBen Gamari2017-11-211-25/+41
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Test Plan: validate Reviewers: bgamari, simonmar Reviewed By: bgamari Subscribers: rwbarton, thomie GHC Trac Issues: #14437 Differential Revision: https://phabricator.haskell.org/D4180
* | testsuite: Add test for #14257Ben Gamari2017-11-214-0/+27
| | | | | | | | | | | | | | | | Subscribers: rwbarton, thomie, duog GHC Trac Issues: #14257 Differential Revision: https://phabricator.haskell.org/D4201
* | Test Trac #14488Vladislav Zavialov2017-11-212-0/+11
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Summary: The refactoring in 3f5673f34a2f761423027bf46f64f7499708725f also fixed a previously unreported issue in the typechecker that prevented defining a lens to a record field with a constraint. This patch adds a regression test. Test Plan: make test TEST=14488 Reviewers: bgamari Reviewed By: bgamari Subscribers: int-e, rwbarton, thomie GHC Trac Issues: #14488 Differential Revision: https://phabricator.haskell.org/D4213
* | Remove hadrian sub-dir from .gitignoreMatthew Pickering2017-11-211-1/+0
| | | | | | | | | | | | | | | | | | | | Reviewers: bgamari Reviewed By: bgamari Subscribers: rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4206
* | Update leftover reference to refer to [FunBind vs PatBind]klebinger.andreas@gmx.at2017-11-211-2/+2
| | | | | | | | | | | | | | | | | | | | Reviewers: bgamari, mpickering Reviewed By: mpickering Subscribers: rwbarton, thomie, mpickering Differential Revision: https://phabricator.haskell.org/D4205
* | Add warn-missing-export-listsEvan Rutledge Borden2017-11-2110-4/+65
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Many industrial users have aligned around the idea that implicit exports are an anti-pattern. They lead to namespace pollution and byzantine naming schemes. They also prevent GHC's dead code analysis and create more obstacles to optimization. This warning allows teams/projects to warn on or enforce via -Werror explicit export lists. This warning also serves as a complement to warn-missing-import-lists. This was originally discussed here: https://github.com/ghc-proposals/ghc-proposals/pull/93 Test Plan: Three new minimal tests have been added to the type checker. Reviewers: bgamari Reviewed By: bgamari Subscribers: rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4197
* | rts: Fix inconsistencies in how retainer and heap censuses are timed.Douglas Wilson2017-11-211-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | mut_elapsed should deduct retainer profiling and heap censuses, just as mut_cpu does. mutator_cpu_ns should not deduct retainer profiling or heap censuses, since those times are included in stats.gc_cpu_ns. Reviewers: bgamari, erikd, simonmar Reviewed By: simonmar Subscribers: rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4185
* | rts: Move libdwPrintBacktrace to public interfaceBen Gamari2017-11-212-3/+6
| | | | | | | | | | | | | | | | | | | | Reviewers: erikd, simonmar Reviewed By: simonmar Subscribers: rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4194
* | Update ANNOUNCEBen Gamari2017-11-211-76/+63
| |
* | CircleCI: Add webhook for Harbormaster buildsBen Gamari2017-11-211-0/+4
| |
* | Revert "trees that grow" workBen Gamari2017-11-2171-4398/+3070
| | | | | | | | | | | | | | | | | | | | | | | | | | | | As documented in #14490, the Data instances currently blow up compilation time by too much to stomach. Alan will continue working on this in a branch and we will perhaps merge to 8.2 before 8.2.1 to avoid having to perform painful cherry-picks in 8.2 minor releases. Reverts haddock submodule. This reverts commit 47ad6578ea460999b53eb4293c3a3b3017a56d65. This reverts commit e3ec2e7ae94524ebd111963faf34b84d942265b4. This reverts commit 438dd1cbba13d35f3452b4dcef3f94ce9a216905. This reverts commit 0ff152c9e633accca48815e26e59d1af1fe44ceb.
* | base: Document GHC.Stack.CCS internalsBen Gamari2017-11-212-1/+18
| | | | | | | | | | | | | | | | Reviewers: hvr Subscribers: rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4204
* | configure: Fix ar probed flagsBen Gamari2017-11-211-4/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | FP_PROG_AR_ARGS appears to be probing for what flags to use to build an archive with an index. However, none of the flags that it probed previously were valid as they all started with `c`, which isn't a mode character. This went unnoticed until someone attempted to use LLVM ar since we have a special case for gnu ar. Additionally, we work around a bug in llvm-ar 5.0 where ar will exit with code 0 even if it fails to parse the command line. Silliness. I believe these should rather all be mode `q` however I'll need to test this on a few platforms to be certain. Test Plan: Validate on OS X, BSD, and Linux with binutils and llvm ar Reviewers: hvr Subscribers: rwbarton, thomie, erikd Differential Revision: https://phabricator.haskell.org/D4214
* | CircleCI: Disable artifact collection on OS XBen Gamari2017-11-211-2/+3
| | | | | | | | | | The storeartifacts step inexplicably hangs on OS X. I am currently be working with CircleCI support to resolve this.
* | rel-notes: Fix up formatting in release notesBen Gamari2017-11-201-3/+4
| |
* | ghc-pkg: Add missing newlines to usage messageBen Gamari2017-11-201-2/+2
| |
* | Bump haddock submoduleBen Gamari2017-11-201-0/+0
| |
* | Bump hsc2hs submoduleBen Gamari2017-11-201-0/+0
| |
* | Stop generating make files when using hadrian.Moritz Angermann2017-11-191-2/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | The boot script generates lots of .mk files for the make based build system. This change adds a `--hadrian` flag to `boot`, which skips the `.mk` file generation. Reviewers: bgamari Subscribers: rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4211
* | Rename ghc-version -> ghcversion-fileMoritz Angermann2017-11-193-8/+7
| | | | | | | | | | | | | | | | | | | | Reviewers: bgamari Reviewed By: bgamari Subscribers: rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4210
* | Fix #elfi -> #elif; unbreak -Werror.Moritz Angermann2017-11-192-3/+8
| | | | | | | | | | | | | | | | | | | | Reviewers: bgamari, erikd Reviewed By: bgamari Subscribers: rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4209
* | base: Make documentation of atomically more accurateAndrew Martin2017-11-181-7/+16
| |
View Lorry Controller Status