summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Preserve as-parsed arrow type for HsUnrestrictedArrowwip/T18791Alan Zimmerman2020-10-047-13/+90
* Reject linearity in kinds in checkValidType (#18780)Krzysztof Gogolewski2020-10-028-16/+58
* Bignum: implement integerPowMod (#18427)Sylvain Henry2020-10-0213-60/+190
* Bignum: implement integerRecipMod (#18427)Sylvain Henry2020-10-0214-13/+160
* Minor TTG clean-up: comments, unused families, bottomVladislav Zavialov2020-10-022-52/+54
* Replaced MkT1 with T1 in type signatures.Icelandjack2020-10-021-2/+2
* Fix typos in commentsKrzysztof Gogolewski2020-10-0229-31/+31
* Refactor: remove rnHsDocVladislav Zavialov2020-10-015-82/+13
* Bignum: add integerNegate RULESylvain Henry2020-10-014-0/+22
* Fix pretty-printing of the mult-polymorphic arrowVladislav Zavialov2020-10-016-12/+12
* Add regression test for #18755.Richard Eisenberg2020-10-013-0/+6
* Don't attach CPR signatures to NOINLINE data structures (#18154)Sebastian Graf2020-10-012-86/+118
* Don't import GHC.Unit to reduce the number of dependenciesSylvain Henry2020-10-0110-10/+19
* Parser: remove some unused importsSylvain Henry2020-10-011-15/+9
* Less DynFlags in Header parsingSylvain Henry2020-10-016-18/+22
* Use ADTs for parser errors/warningsSylvain Henry2020-10-0127-652/+1453
* Remove mAIN completelyFendor2020-10-012-4/+2
* Use HomeUnit for main module without module declarationFendor2020-10-011-1/+1
* Add mainModuleNameIs and demote mainModIsFendor2020-10-012-7/+10
* Allow fusion with catMaybes (#18574)Sylvain Henry2020-10-012-2/+5
* Add test for T18574Sylvain Henry2020-10-013-0/+14
* hadrian/doc: Clarify documentation of key-value configurationBen Gamari2020-09-301-1/+2
* Regression test for #10709.Richard Eisenberg2020-09-305-0/+110
* Pmc: Don't call exprType on type arguments (#18767)Sebastian Graf2020-09-301-1/+2
* Omit redundant kind equality check in solverRichard Eisenberg2020-09-301-13/+21
* Remove unused global variablesSylvain Henry2020-09-303-14/+0
* Remove unsafeGlobalDynFlags (#17957, #14597)Sylvain Henry2020-09-3017-140/+186
* Bump Cabal, hsc2hs, directory, process submodulesBen Gamari2020-09-307-3/+3
* testsuite: Mark T12971 as broken on WindowsBen Gamari2020-09-301-1/+1
* PmCheck: Long-distance information for LocalBinds (#18626)Sebastian Graf2020-09-306-26/+138
* Make the parser module less dependent on DynFlagsSylvain Henry2020-09-2915-89/+109
* Add regression test #18501Ryan Scott2020-09-293-0/+5
* Workaround for #18623: GHC crashes bc. under rlimit for vmem it will reserveBenjamin Maurer2020-09-292-5/+58
* Description of flag `-H` was in 'verbosity options', moved to 'misc'.Benjamin Maurer2020-09-291-8/+8
* Improve error messages for (a %m) without LinearTypesVladislav Zavialov2020-09-292-11/+19
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-2973-162/+183
* Linear types: fix kind inference when checking dataconsKrzysztof Gogolewski2020-09-291-1/+3
* Optimize NthCo (FunCo ...) in coercion optRichard Eisenberg2020-09-293-28/+39
* 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