summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore
Commit message (Expand)AuthorAgeFilesLines
* Implement type applications in patternsCale Gibbard2020-12-146-15/+16
* Remove flattening variablesRichard Eisenberg2020-12-012-2/+14
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-012-2/+2
* [Sized Cmm] properly retain sizes.Moritz Angermann2020-11-263-32/+11
* PmCheck: Print types of uncovered patterns (#18932)Sebastian Graf2020-11-182-16/+6
* Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more placesRyan Scott2020-11-151-2/+2
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-152-4/+4
* Refactor -dynamic-too handlingSylvain Henry2020-11-061-1/+1
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-062-116/+131
* Constant-folding: don't pass through GHC's Int/Word (fix #11704)Sylvain Henry2020-11-031-1/+1
* Linker: reorganize linker related codeSylvain Henry2020-11-031-0/+2
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-018-62/+61
* Split HsConDecl{H98,GADT}DetailsRyan Scott2020-10-302-62/+62
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-292-2/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-2913-90/+135
* When using rts_setInCallCapability, lock incall threadsDylan Yudaken2020-10-171-4/+4
* Remove Proxy# argument in Data.Typeable.InternalKrzysztof Gogolewski2020-10-151-6/+4
* Fix some missed opportunities for preInlineUnconditionallySimon Peyton Jones2020-10-142-8/+8
* Fix PostfixOperators (#18151)Vladislav Zavialov2020-10-141-1/+14
* Unification of Nat and NaturalsHaskellMouse2020-10-131-2/+2
* Fall back to types when looking up data constructors (#18740)wip/ghc-18740-lookup-updateDaniel Rogozin2020-10-111-2/+5
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-1022-131/+102
* Cache HomeUnit in HscEnv (#17957)Sylvain Henry2020-10-092-9/+12
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-091-0/+1
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-091-28/+87
* Pmc: Don't call exprType on type arguments (#18767)Sebastian Graf2020-09-301-1/+2
* PmCheck: Long-distance information for LocalBinds (#18626)Sebastian Graf2020-09-304-26/+125
* Extract SharedIdEnv into its own moduleSebastian Graf2020-09-263-143/+38
* PmCheck: Big refactor of module structureSebastian Graf2020-09-2615-1820/+1991
* PmCheck: Desugar string literal patterns with -XRebindableSyntax correctly (#...Sebastian Graf2020-09-241-5/+11
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-242-18/+23
* Refactor CLabel pretty-printingSylvain Henry2020-09-231-2/+1
* PmCheck: Rewrite inhabitation testSebastian Graf2020-09-226-1225/+1148
* PmCheck - Comments only: Replace /~ by ≁Sebastian Graf2020-09-223-33/+33
* rts: Refactor foreign export trackingBen Gamari2020-09-181-10/+21
* Introduce and use DerivClauseTys (#18662)Ryan Scott2020-09-152-8/+19
* Hackily decouple the parser from the desugarerSebastian Graf2020-09-121-1/+9
* Extract definition of DsM into GHC.HsToCore.TypesSebastian Graf2020-09-123-1/+84
* Make `tcCheckSatisfiability` incremental (#18645)Sebastian Graf2020-09-122-11/+7
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-123-163/+213
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-1010-492/+572
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-106-863/+883
* Add long-distance info for pattern bindings (#18572)Sebastian Graf2020-09-108-70/+77
* Remove GENERATED pragma, as it is not being usedAlan Zimmerman2020-09-093-10/+0
* DynFlags: add sm_pre_inline field into SimplMode (#17957)Sylvain Henry2020-09-093-5/+5
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-094-12/+22
* Introduce isBoxedTupleDataCon and use it to fix #18644Ryan Scott2020-09-041-1/+1
* Use LIdP rather than (XRec p (IdP p))Simon Peyton Jones2020-08-253-7/+8
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-192-2/+2
* Implement -Wredundant-bang-patterns (#17340)nineonine2020-08-191-44/+131
View Lorry Controller Status