summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Add special case to stripStgTicksTop for []wip/strip-ticksMatthew Pickering2021-04-021-0/+2
| | | | | In the common case where the list of ticks is empty, building a thunk just applies 'reverse' to '[]' which is quite wasteful.
* Pmc: Add regression test for #19622Sebastian Graf2021-04-022-0/+57
| | | | | | | It appears that the issue has already been fixed. Judging by the use of a pattern synonym with a provided constraint, my bet is on 1793ca9d. Fixes #19622.
* testsuite: Add test for #7275Ben Gamari2021-04-024-0/+67
|
* testsuite: Check test stats only after test correctnessBen Gamari2021-04-021-5/+5
| | | | | | | | | Ticket #19576 noted that a test that failed in correctness (e.g. due to stderr mismatch) *and* failed due to a metrics change would report misleading stats. This was due to the testsuite driver *first* checking stats, before checking for correctness. Fix this. Closes #19576.
* testsuite: Make passFail a booleanBen Gamari2021-04-022-24/+13
|
* Fix copy+pasto in Sanity.cMatthew Pickering2021-04-021-1/+1
|
* gitlab-ci: Ignore performance metrics failures in release jobsBen Gamari2021-04-021-0/+6
| | | | We don't want these failing merely due to performance metrics
* gitlab-ci: CI wibblesBen Gamari2021-04-021-0/+3
| | | | Ensure that deb10-dwarf artifacts are preserved.
* sdist: Fix packaging of Windows tarballsBen Gamari2021-04-021-1/+1
| | | | | | These now live in the ghc-tarballs/mingw-w64 directory. Fixes #19316.
* Address review feedback on chiralityViktor Dukhovni2021-04-011-11/+45
| | | | Also added nested foldr example for `concat`.
* Chiral foldable caveatsViktor Dukhovni2021-04-011-3/+37
|
* Compute Severity of diagnostics at birthAlfredo Di Napoli2021-04-0129-452/+465
| | | | | | | | | | | | | | | | | | | | | This commit further expand on the design for #18516 by getting rid of the `defaultReasonSeverity` in favour of a function called `diagReasonSeverity` which correctly takes the `DynFlags` as input. The idea is to compute the `Severity` and the `DiagnosticReason` of each message "at birth", without doing any later re-classifications, which are potentially error prone, as the `DynFlags` might evolve during the course of the program. In preparation for a proper refactoring, now `pprWarning` from the Parser.Ppr module has been renamed to `mkParserWarn`, which now takes a `DynFlags` as input. We also get rid of the reclassification we were performing inside `printOrThrowWarnings`. Last but not least, this commit removes the need for reclassify inside GHC.Tc.Errors, and also simplifies the implementation of `maybeReportError`. Update Haddock submodule
* Add missing axiom exports for CharToNat/NatToCharVladislav Zavialov2021-04-013-2/+10
| | | | | | | When the CharToNat and NatToChar type families were added, the corresponding axioms were not exported. This led to a failure much like #14934
* gitlab-ci: Drop Debian 8 jobBen Gamari2021-04-011-26/+0
|
* configure: Update comment describing versioning policyBen Gamari2021-04-011-2/+4
| | | | | As noted in my comment on #19058, this comment was previously a bit misleading in the case of stable branches.
* libiserv: Add descriptionBen Gamari2021-04-011-2/+2
|
* ghc-boot: Use cabal-version: 3.0Ben Gamari2021-04-011-2/+3
|
* ghc-bignum: Add missing source files to cabal fileBen Gamari2021-04-011-0/+2
|
* Fix testsSylvain Henry2021-04-012-2/+6
|
* Move the EPS into UnitEnvSylvain Henry2021-04-018-18/+20
|
* Move HPT in UnitEnvSylvain Henry2021-04-0110-58/+78
|
* Move unit DBs in UnitEnvSylvain Henry2021-04-019-38/+56
| | | | | Also make the HomeUnit optional to keep the field strict and prepare for UnitEnvs without a HomeUnit (e.g. in Plugins envs, cf #14335).
* Properly initialise UnitEnvSylvain Henry2021-04-012-5/+25
|
* Encapsulate the EPS IORef in a newtypeSylvain Henry2021-04-017-42/+56
|
* Data.List specialization to []Oleg Grenrus2021-04-0139-1641/+1403
| | | | | | | - Remove GHC.OldList - Remove Data.OldList - compat-unqualified-imports is no-op - update haddock submodule
* import Data.List with explicit import listOleg Grenrus2021-04-011-1/+1
|
* gitlab-ci: Extend expiration time of simple perf job artifactsBen Gamari2021-03-311-1/+1
|
* Add regression tests for #17772 and #18308Ryan Scott2021-03-313-0/+41
| | | | Resolves #17772. Addresses one part of #18308.
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-317-47/+178
| | | | | | | | | | | Ticket #19415 showed a nasty typechecker loop, which can happen with fundeps that do not satisfy the coverage condition. This patch fixes the problem. It's described in GHC.Tc.Solver.Interact Note [Fundeps with instances] It's not a perfect solution, as the Note explains, but it's better than the status quo.
* EPA : Rename AnnComment to EpaCommentAlan Zimmerman2021-03-3120-591/+596
| | | | Follow-up from !2418, see #19579
* EPA : rename AnnAnchor to EpaAnchorAlan Zimmerman2021-03-3114-112/+112
| | | | Follow-up from !2418, see #19579
* EPA : rename 'api annotations' to 'exact print annotations'Alan Zimmerman2021-03-3122-184/+182
| | | | | | In comments, and notes. Follow-up from !2418, see #19579
* EPA : Rename ApiAnn to EPAnnAlan Zimmerman2021-03-3140-2529/+2503
| | | | | | Follow-up from !2418, see #19579 Updates haddock submodule
* EPA : Rename AddApiAnn to AddEpAnnAlan Zimmerman2021-03-3126-454/+435
| | | | | | | As port of the process of migrating naming from API Annotations to exact print annotations (EPA) Follow-up from !2418, see #19579
* The result kind of a signature can't mention quantified varsSimon Peyton Jones2021-03-315-12/+111
| | | | | | | | | | | | | | | | | | | | | This patch fixes a small but egregious bug, which allowed a type signature like f :: forall a. blah not to fail if (blah :: a). Acutally this only showed up as a ASSERT error (#19495). The fix is very short, but took quite a bit of head scratching Hence the long Note [Escaping kind in type signatures] While I was in town, I also added a short-cut for the common case of having no quantifiers to tcImplicitTKBndrsX. Metric Decrease: T9198 Metric Increase: T9198
* Add -Wcompat to hadrianOleg Grenrus2021-03-313-0/+1
| | | | Update submodules haskeline and hpc
* import Data.List with explicit import listOleg Grenrus2021-03-316-6/+6
|
* gitlab-ci: Trigger head.hackage jobs via pipeline IDwip/head-hackage-trigger-2Ben Gamari2021-03-301-1/+2
| | | | | As noted in ghc/head.hackage!152, the previous plan of using the commit didn't work when the triggering pipeline had not yet successfully finished.
* Add regression test for #5298Simon Jakobi2021-03-305-0/+38
| | | | Closes #5298.
* Additionally export asum from Control.ApplicativeOleg Grenrus2021-03-302-1/+4
| | | | Fixes #19575
* users-guide: Correct markdown for ghc-9.2Takenobu Tani2021-03-303-7/+7
| | | | | | This patch corrects some markdown. [skip ci]
* [armv7] PIC by default + [aarch64-linux] T11276 metric increaseMoritz Angermann2021-03-292-1/+2
| | | | | Metric Increase: T11276
* [testsuite/aarch64-darwin] disable T12674Moritz Angermann2021-03-291-1/+3
|
* [testsuite/aarch64] disable T18623Moritz Angermann2021-03-291-1/+6
|
* [armv7] arm32 needs symbols!Moritz Angermann2021-03-292-3/+5
|
* [testlib] ignore strip warningsMoritz Angermann2021-03-291-0/+4
|
* [aarch64-darwin] be very careful of warnings.Moritz Angermann2021-03-291-0/+1
| | | | | | | So we did *not* have the stgCallocBytes prototype, and subsequently the C compiler defaulted to `int` as a return value. Thus generating sxtw instructions for the return value of stgCalloBytes to produce the expected void *.
* [rts] cast return value to struct.Moritz Angermann2021-03-291-1/+1
|
* [linker] no munmap if either agument is invalid.Moritz Angermann2021-03-291-1/+4
|
* [testsuite] Fix SubsectionsViaSymbols testMoritz Angermann2021-03-292-1/+2
|