summaryrefslogtreecommitdiff
path: root/testsuite
Commit message (Expand)AuthorAgeFilesLines
* Fall back to types when looking up data constructors (#18740)wip/ghc-18740-lookup-updateDaniel Rogozin2020-10-1114-6/+86
* Bignum: fix bigNatCompareWord# bug (#18813)Sylvain Henry2020-10-103-0/+27
* Linear types: fix quantification in GADTs (#18790)Krzysztof Gogolewski2020-10-101-6/+21
* Testsuite: increase timeout for T18223 (#18795)Sylvain Henry2020-10-091-0/+2
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-091-1/+1
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-092-0/+34
* Linear types: fix roles in GADTs (#18799)Krzysztof Gogolewski2020-10-093-0/+19
* Bignum: match on small Integer/NaturalSylvain Henry2020-10-093-0/+12
* testsuite/timeout: Fix windows specific errors.Andreas Klebinger2020-10-092-25/+28
* Use proper RTS flags when collecting residency in perf tests.Andreas Klebinger2020-10-092-15/+12
* Update containers to v0.6.4.1Simon Jakobi2020-10-091-1/+1
* Misc cleanupKrzysztof Gogolewski2020-10-076-6/+6
* testsuite: Allow whitespace before "Metric (in|de)crease"Ben Gamari2020-10-071-1/+1
* Preserve as-parsed arrow type for HsUnrestrictedArrowAlan Zimmerman2020-10-075-2/+71
* WinIO: Small changes related to atomic request swaps.Andreas Klebinger2020-10-075-4/+63
* Fix linear types in TH splices (#18465)Krzysztof Gogolewski2020-10-053-0/+25
* Reject linearity in kinds in checkValidType (#18780)Krzysztof Gogolewski2020-10-026-4/+29
* Bignum: implement integerPowMod (#18427)Sylvain Henry2020-10-024-22/+36
* Bignum: implement integerRecipMod (#18427)Sylvain Henry2020-10-025-6/+46
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Bignum: add integerNegate RULESylvain Henry2020-10-013-0/+19
* Fix pretty-printing of the mult-polymorphic arrowVladislav Zavialov2020-10-015-11/+11
* Add regression test for #18755.Richard Eisenberg2020-10-013-0/+6
* Don't attach CPR signatures to NOINLINE data structures (#18154)Sebastian Graf2020-10-011-3/+3
* Use ADTs for parser errors/warningsSylvain Henry2020-10-014-3/+7
* Add test for T18574Sylvain Henry2020-10-013-0/+14
* Regression test for #10709.Richard Eisenberg2020-09-305-0/+110
* Remove unsafeGlobalDynFlags (#17957, #14597)Sylvain Henry2020-09-302-5/+10
* testsuite: Mark T12971 as broken on WindowsBen Gamari2020-09-301-1/+1
* PmCheck: Long-distance information for LocalBinds (#18626)Sebastian Graf2020-09-302-0/+13
* Make the parser module less dependent on DynFlagsSylvain Henry2020-09-293-6/+11
* Add regression test #18501Ryan Scott2020-09-293-0/+5
* Workaround for #18623: GHC crashes bc. under rlimit for vmem it will reserveBenjamin Maurer2020-09-291-0/+6
* Improve error messages for (a %m) without LinearTypesVladislav Zavialov2020-09-291-8/+1
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-2953-93/+110
* Fix handling of function coercions (#18747)Krzysztof Gogolewski2020-09-263-0/+134
* Disallow linear types in FFI (#18472)Krzysztof Gogolewski2020-09-263-0/+29
* Make 'undefined x' linear in 'x' (#18731)Krzysztof Gogolewski2020-09-262-0/+6
* Fix typed holes causing linearity errors (#18491)Krzysztof Gogolewski2020-09-252-0/+8
* Bignum: implement extended GCD (#18427)Sylvain Henry2020-09-254-3/+1174
* Pattern guards BindStmt always use multiplicity ManyArnaud Spiwack2020-09-253-0/+13
* Accept new test output for #17218Sebastian Graf2020-09-252-4/+2
* Add a regression test for #18609Sebastian Graf2020-09-253-0/+75
* Add regression tests for #18371Sebastian Graf2020-09-253-0/+66
* PmCheck: Desugar string literal patterns with -XRebindableSyntax correctly (#...Sebastian Graf2020-09-243-0/+27
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-24124-414/+592
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-2458-258/+580
* PmCheck: Rewrite inhabitation testSebastian Graf2020-09-223-0/+58
* Fix the occurrence analyserSimon Peyton Jones2020-09-222-0/+30
* Better eta-expansion (again) and don't specilise DFunsSimon Peyton Jones2020-09-227-127/+111
View Lorry Controller Status