summaryrefslogtreecommitdiff
path: root/testsuite/tests
Commit message (Expand)AuthorAgeFilesLines
* Zonk the returned kind in tcFamTyPatswip/T19250Simon Peyton Jones2021-01-282-0/+13
* Fix spurious failures of T16916 on CI (#16966)Sylvain Henry2021-01-273-13/+46
* Remove some redundant validity checks.Richard Eisenberg2021-01-2731-33/+74
* Add regression test for #11228Adam Gundry2021-01-273-0/+15
* Remove -XMonadFailDesugaring referencesHécate2021-01-272-2/+4
* Add instances for GHC.Tuple.SoloBen Gamari2021-01-2717-21/+25
* Add additional context to :doc output (#19055)Aaron Allen2021-01-274-0/+38
* Deprecate -h flagMatthew Pickering2021-01-271-1/+1
* Track the dependencies of `GHC.Hs.Expr.Types`John Ericson2021-01-236-50/+315
* Separate AST from GhcPass (#18936)John Ericson2021-01-235-4/+13
* Bignum: add Natural constant folding rules (#15821)Sylvain Henry2021-01-235-4/+259
* Implement #15993Koz Ross2021-01-231-2/+2
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-234-0/+24
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-223-5/+5
* Enhance Data instance generationSylvain Henry2021-01-221-1/+1
* Test constant folding for sized typesJohn Ericson2021-01-227-0/+393
* Add 32-bit ops to T file I forgot to add beforeJohn Ericson2021-01-221-5/+10
* Fix tests relying on same-line diagnostic orderingAlfredo Di Napoli2021-01-2217-77/+90
* Parameterise Messages over eAlfredo Di Napoli2021-01-221-1/+3
* Fix error recovery in solveEqualitiesSimon Peyton Jones2021-01-226-0/+45
* Arrows: collect evidence bindersSylvain Henry2021-01-222-0/+88
* When deriving Eq always use tag based comparisons for nullary constructorsAndreas Klebinger2021-01-222-3/+1
* Use captureTopConstraints at top levelSimon Peyton Jones2021-01-173-0/+8
* Add regression test for #16577Sylvain Henry2021-01-172-0/+2088
* Bignum: fix for Integer/Natural Ord instancesSylvain Henry2021-01-171-10/+6
* Fix unsoundness for linear guards (#19120)Krzysztof Gogolewski2021-01-173-0/+16
* Revert "Remove SpecConstrAnnotation (#13681)" (#19168)Sylvain Henry2021-01-174-2/+14
* Accept (fixed) T14059bSebastian Graf2021-01-172-3/+3
* PmCheck: Positive info doesn't imply there is an inhabitant (#18960)Sebastian Graf2021-01-174-0/+55
* Missing fields: enhance error messages (#18869)Sylvain Henry2021-01-173-6/+6
* Show missing field types (#18869)Sylvain Henry2021-01-1712-24/+90
* WorkWrap: Use SysLocal Name for Thunk Splitting (#19180)Sebastian Graf2021-01-102-0/+22
* testsuite: Increase delay in conc059Ben Gamari2021-01-093-26/+37
* Natural: fix left shift of 0 (fix #19170)Sylvain Henry2021-01-093-0/+15
* rts/PEi386: Fix reentrant lock usageBen Gamari2021-01-093-3/+0
* Never Anyify during kind inferenceRichard Eisenberg2021-01-0921-7/+166
* Remove errShortString, cleanup error-related functionsAlfredo Di Napoli2021-01-093-1/+4
* testsuite: Add test for #19149Ben Gamari2021-01-074-0/+51
* GHCi: Fill field `DynFlags.dumpPrefix`. (Fixes #17500)Roland Senn2021-01-074-0/+22
* Make primops for `{Int,Word}32#`John Ericson2021-01-0717-0/+663
* Add regression test for #18467wip/T18467Simon Peyton Jones2021-01-023-0/+31
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-029-2/+91
* base: add Numeric.{readBin, showBin} (fix #19036)Artem Pelenitsyn2021-01-021-2/+0
* INLINE pragma for patterns (#12178)Cale Gibbard2020-12-3113-0/+135
* Put hole instantiation typechecking in the module graph and fix driver batch ...John Ericson2020-12-2895-177/+437
* Test cases for #15772 and #17139.Richard Eisenberg2020-12-256-0/+125
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-258-32/+44
* Refactor renamer datastructuresAdam Gundry2020-12-2427-13/+187
* Require ScopedTypeVariables+TypeApplications to use type applications in patt...Ryan Scott2020-12-2430-21/+51
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-244-0/+80
View Lorry Controller Status