summaryrefslogtreecommitdiff
path: root/testsuite
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add some additional information to the fail message based on exit codeHécate2021-01-171-2/+16
* 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
* Make proper fixed-width number literalsSylvain Henry2021-01-021-1/+1
* 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
* Support package qualifier in Prelude importSylvain Henry2020-12-235-0/+22
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-234-9/+323
* Increase -A default to 4MB.Andreas Klebinger2020-12-222-9/+9
* Fix printing in -ddump-rule-rewrites (#18668)Krzysztof Gogolewski2020-12-203-0/+36
* Kill floatEqualities completelySimon Peyton Jones2020-12-206-54/+65
* Improve inference with linear typesKrzysztof Gogolewski2020-12-203-6/+8
* Add two warnings to -WallTom Ellis2020-12-194-5/+5
* Make noinline more reliableSimon Peyton Jones2020-12-193-1/+73
* testsuite: Fix two shell quoting issuesBen Gamari2020-12-182-4/+4
* Fix #19044 by tweaking unification in inst lookupRichard Eisenberg2020-12-183-0/+36
* Split Driver.Env moduleAlfredo Di Napoli2020-12-181-1/+2
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-183-10/+26
* Unfortunate dirty hack to overcome #18998.Richard Eisenberg2020-12-173-0/+44
* Reject dodgy scoping in associated family instance RHSesRyan Scott2020-12-176-23/+38
* Force module recompilation if '*' prefix was used to load modules in ghci (#8...nineonine2020-12-173-0/+14
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-1565-195/+111
* testsuite: Mark divbyzero, derefnull as fragileBen Gamari2020-12-151-0/+2