summaryrefslogtreecommitdiff
path: root/testsuite/tests
Commit message (Expand)AuthorAgeFilesLines
* Fix test failureswip/strict-ttgVladislav Zavialov2020-09-301-1/+2
* 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
* Disallow constraints in KindSigCtxtRyan Scott2020-09-213-0/+19
* testsuite: Mark TH_spliceE5_prof as broken on WindowsGHC GitLab CI2020-09-201-1/+2
* testsuite: Mark some GHCi/Makefile tests as broken on WindowsBen Gamari2020-09-204-0/+5
* testsuite: Update expected output for outofmem on WindowsBen Gamari2020-09-201-1/+1
* testsuite: Unmark T5975[ab] as broken on WindowsBen Gamari2020-09-201-2/+2
* testsuite: Unmark T12971 as broken on WindowsBen Gamari2020-09-201-1/+1
* Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)Artyom Kuznetsov2020-09-1910-22/+43
* Added explicit fixity to (~).HaskellMouse2020-09-175-0/+25
* Do absence analysis on stable unfoldingsSimon Peyton Jones2020-09-173-0/+56
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-156-0/+52
* Make `tcCheckSatisfiability` incremental (#18645)Sebastian Graf2020-09-124-0/+122
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-127-13/+39
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-1014-0/+220
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-105-4/+16
* Add long-distance info for pattern bindings (#18572)Sebastian Graf2020-09-103-2/+32
* gitlab-ci: Bump Docker imagesBen Gamari2020-09-091-0/+1
* Remove GENERATED pragma, as it is not being usedAlan Zimmerman2020-09-099-17/+1
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-091-1/+1
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-0912-9/+34
* Make the forall-or-nothing rule only apply to invisible foralls (#18660)Ryan Scott2020-09-082-0/+8
* [macOS] improved runpath handlingMoritz Angermann2020-09-071-1/+1
* testsuite: Mark T5975[ab] as broken on WindowsBen Gamari2020-09-051-2/+5
* testsuite: Drop Windows-specific output for parseTreeBen Gamari2020-09-051-160/+0
* Introduce isBoxedTupleDataCon and use it to fix #18644Ryan Scott2020-09-043-0/+8
* testsuite: Add broken test for #18302Ben Gamari2020-09-013-0/+13