summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Don't tidy type in pprTypeForUserwip/no-tidy-ghciMatthew Pickering2021-04-082-22/+10
| | | | | | | | | | | | | | | | There used to be some cases were kinds were not generalised properly before being printed in GHCi. This seems to have changed in the past so now it's uncessary to tidy before printing out the test case. ``` > :set -XPolyKinds > data A x y > :k A k1 -> k2 -> A ``` This tidying was causing issues with an attempt to increase sharing by making `mkTyConApp` (see !4762)
* 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
|
View Lorry Controller Status