summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Improve error messages for (a %m) without LinearTypeswip/linear-types-caretVladislav Zavialov2020-09-282-11/+19
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-2873-162/+183
* Linear types: fix kind inference when checking dataconsKrzysztof Gogolewski2020-09-271-1/+3
* Remove outdated comment in rnHsTyKiVladislav Zavialov2020-09-271-4/+0
* Don't rearrange (->) in the renamerVladislav Zavialov2020-09-271-36/+26
* Comments: change outdated reference to mergeOpswip/docs-no-merge-opsVladislav Zavialov2020-09-271-1/+1
* Fix handling of function coercions (#18747)Krzysztof Gogolewski2020-09-264-1/+135
* Disallow linear types in FFI (#18472)Krzysztof Gogolewski2020-09-264-10/+48
* Make 'undefined x' linear in 'x' (#18731)Krzysztof Gogolewski2020-09-263-2/+13
* Bignum: add bigNatFromWordArraySylvain Henry2020-09-262-0/+45
* Extract SharedIdEnv into its own moduleSebastian Graf2020-09-265-143/+160
* PmCheck: Big refactor of module structureSebastian Graf2020-09-2618-1826/+2001
* Various documentation fixesKrzysztof Gogolewski2020-09-259-20/+21
* Fix typed holes causing linearity errors (#18491)Krzysztof Gogolewski2020-09-253-0/+10
* Bignum: implement extended GCD (#18427)Sylvain Henry2020-09-2513-30/+1415
* Bignum: refactor backend modulesSylvain Henry2020-09-258-38/+53
* Pattern guards BindStmt always use multiplicity ManyArnaud Spiwack2020-09-254-1/+21
* Print RET_BIG stack closuresSven Tennie2020-09-251-7/+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
* gitlab-ci: Drop Darwin cleanup jobBen Gamari2020-09-251-39/+0
* Stop removing definitions of record fields in GHC.Iface.Ext.AstZubin Duggal2020-09-251-16/+10
* ci: Add ad-hoc performance testing ruleBen Gamari2020-09-252-0/+64
* ci.sh: Factor out common utilitiesBen Gamari2020-09-252-47/+55
* Make sizeExpr strict in the size threshold to facilitate WW.Andreas Klebinger2020-09-251-1/+4
* Namespace the Hadrian linting rule for baseHécate2020-09-241-6/+6
* PmCheck: Desugar string literal patterns with -XRebindableSyntax correctly (#...Sebastian Graf2020-09-244-5/+38
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-24141-964/+1329
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-2494-2119/+3412
* Update Lock.hs with more documentation to make sure that the Boolean return v...syd@cs-syd.eu2020-09-241-0/+2
* Remove redundant "do", "return" and language extensions from baseHécate2020-09-2346-188/+191
* Preliminary work towards removing DynFlags -> Driver.Ppr dependencySylvain Henry2020-09-231-3/+4
* Remove sdocWithDynFlags (fix #10143)Sylvain Henry2020-09-232-12/+2
* Refactor CLabel pretty-printingSylvain Henry2020-09-2310-224/+203
* Bump submodulesBen Gamari2020-09-233-0/+0
* Remove the list of loaded modules from the ghci promptHécate2020-09-232-241/+226
* PmCheck: Rewrite inhabitation testSebastian Graf2020-09-2211-1225/+1210
* PmCheck - Comments only: Replace /~ by ≁Sebastian Graf2020-09-223-33/+33
* Fix the occurrence analyserSimon Peyton Jones2020-09-224-480/+611
* Better eta-expansion (again) and don't specilise DFunsSimon Peyton Jones2020-09-2216-698/+870
* hadrian: Add extra-deps: happy-1.20 to stack.yamlBen Gamari2020-09-211-0/+3
* Disallow constraints in KindSigCtxtRyan Scott2020-09-214-40/+94
* Remove unused ThBrackCtxt and ResSigCtxtRyan Scott2020-09-213-12/+0
* testsuite: Mark TH_spliceE5_prof as broken on WindowsGHC GitLab CI2020-09-201-1/+2
* testsuite: Mark tempfiles as broken on Win32 without WinIOGHC GitLab CI2020-09-201-1/+4
* testsuite: Fix WinIO error message normalizationGHC GitLab CI2020-09-201-4/+6
* 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
* base/testsuite: Add missing LANGUAGE pragma in ThreadDelay001Ben Gamari2020-09-201-0/+1