summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-145-172/+45
* Optimise nullary type constructor usageBen Gamari2020-12-145-45/+172
* Demand: Simplify `CU(U)` to `U` (#19005)Sebastian Graf2020-12-121-3/+3
* DmdAnal: Annotate top-level function bindings with demands (#18894)Sebastian Graf2020-12-128-149/+288
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-013-53/+49
* Remove flattening variablesRichard Eisenberg2020-12-0114-153/+387
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-016-680/+715
* Cleanup some primop constructor namesJohn Ericson2020-11-281-39/+39
* Fix toArgRep to support 64-bit reps on all systemsSylvain Henry2020-11-261-2/+2
* [Sized Cmm] properly retain sizes.Moritz Angermann2020-11-261-0/+59
* Don't initialize plugins in the Core2Core pipelineSylvain Henry2020-11-211-6/+2
* Move Plugins into HscEnv (#17957)Sylvain Henry2020-11-211-3/+2
* Introduce -fprof-callers flagBen Gamari2020-11-215-1/+247
* Demand: Interleave usage and strictness demands (#18903)Sebastian Graf2020-11-208-147/+181
* Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more placesRyan Scott2020-11-151-11/+11
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-1512-72/+72
* Arity: Emit "Exciting arity" warning only after second iteration (#18937)Sebastian Graf2020-11-131-14/+38
* Arity: Rework `ArityType` to fix monotonicity (#18870)Sebastian Graf2020-11-133-138/+213
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-2/+2
* Constant-folding: don't pass through GHC's Int/Word (fix #11704)Sylvain Henry2020-11-032-15/+10
* Display results of GHC.Core.Lint.lint* functions consistentlyRyan Scott2020-11-021-39/+36
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-0113-44/+25
* Simplify constant-folding (#18032)Sylvain Henry2020-10-311-3/+3
* Refactor numeric constant folding rulesSylvain Henry2020-10-311-157/+331
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-312-2/+20
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-294-7/+6
* Split GHC.Driver.TypesSylvain Henry2020-10-2919-373/+116
* DmdAnal: Kill `is_thunk` case in `splitFV`Sebastian Graf2020-10-271-4/+4
* Fix two constraint solving problemsSimon Peyton Jones2020-10-274-41/+75
* Minor comments, update linear types docsKrzysztof Gogolewski2020-10-201-5/+5
* Arity: Record arity types for non-recursive letsSebastian Graf2020-10-171-62/+106
* Arity: Refactor fixed-point iteration in GHC.Core.Opt.AritySebastian Graf2020-10-171-63/+92
* Fix some missed opportunities for preInlineUnconditionallySimon Peyton Jones2020-10-145-18/+56
* Unification of Nat and NaturalsHaskellMouse2020-10-131-2/+2
* DynFlags: refactor DmdAnalSylvain Henry2020-10-122-52/+57
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-1018-69/+88
* Cache HomeUnit in HscEnv (#17957)Sylvain Henry2020-10-091-2/+2
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-099-85/+320
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-093-6/+29
* Bignum: match on small Integer/NaturalSylvain Henry2020-10-091-3/+14
* Misc cleanupKrzysztof Gogolewski2020-10-072-10/+1
* Inline `integerDecodeDouble#` and constant-fold `decodeDouble_Int64#` insteadSebastian Graf2020-10-051-44/+50
* Fix typos in commentsKrzysztof Gogolewski2020-10-027-7/+7
* Don't attach CPR signatures to NOINLINE data structures (#18154)Sebastian Graf2020-10-011-83/+115
* Don't import GHC.Unit to reduce the number of dependenciesSylvain Henry2020-10-012-2/+4
* Remove unsafeGlobalDynFlags (#17957, #14597)Sylvain Henry2020-09-301-1/+2
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-297-12/+10
* Optimize NthCo (FunCo ...) in coercion optRichard Eisenberg2020-09-292-26/+36
* Fix handling of function coercions (#18747)Krzysztof Gogolewski2020-09-261-1/+1
* Make sizeExpr strict in the size threshold to facilitate WW.Andreas Klebinger2020-09-251-1/+4
View Lorry Controller Status