summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* 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
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-5/+15
* Fix the occurrence analyserSimon Peyton Jones2020-09-222-480/+581
* Better eta-expansion (again) and don't specilise DFunsSimon Peyton Jones2020-09-229-571/+759
* Export singleton function from Data.ListWander Hillen2020-09-191-2/+2
* Do absence analysis on stable unfoldingsSimon Peyton Jones2020-09-172-3/+66
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-152-58/+135
* Avoid iterating twice in `zipTyEnv` (#18535)theobat2020-09-121-1/+1
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-101-1/+5
* Add comments about sm_dflags and simpleOptExprSylvain Henry2020-09-092-2/+19
* DynFlags: add sm_pre_inline field into SimplMode (#17957)Sylvain Henry2020-09-099-39/+41
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-0916-409/+553
* DynFlags: add OptCoercionOptsSylvain Henry2020-09-094-21/+47
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-091-2/+13
* Use "to" instead of "2" in internal names of conversion opsJohn Ericson2020-09-091-15/+15
* Introduce isBoxedTupleDataCon and use it to fix #18644Ryan Scott2020-09-046-13/+17
* Turn on -XMonoLocalBinds by default (#18430)Sebastian Graf2020-09-022-1/+2
* Remove "Ord FastString" instanceSylvain Henry2020-09-015-13/+22
* Use tcView, not coreView, in the pure unifier.Richard Eisenberg2020-08-252-3/+24
* Fix types in silly shifts (#18589)Krzysztof Gogolewski2020-08-241-9/+13
* mkUnique refactoring (#18362)Aditya Gupta2020-08-227-6/+22
* Allow unsaturated runRW# applicationsBen Gamari2020-08-182-36/+18
* Add HomeUnit typeSylvain Henry2020-08-131-2/+5
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-131-0/+3
* Rewrite and move the monad-state hack noteSylvain Henry2020-08-123-75/+4
* DynFlags: disentangle OutputableSylvain Henry2020-08-1243-19/+92
* Fix debug_ppr_ty ForAllTy (#18522)Vladislav Zavialov2020-08-061-12/+28
* Rename Core.Opt.Driver -> Core.Opt.PipelineKrzysztof Gogolewski2020-08-052-2/+2
* DynFlags: don't use sdocWithDynFlags in datacon pprSylvain Henry2020-07-302-8/+6
* Add two bangs to improve perf of flatteningSimon Peyton Jones2020-07-301-4/+6
* Kill off sc_mult and as_mult fieldsSimon Peyton Jones2020-07-292-67/+42
* This patch addresses the exponential blow-up in the simplifier.Simon Peyton Jones2020-07-286-206/+390
* Eta-expand the Simplifier monadSimon Peyton Jones2020-07-271-6/+18
* Care with occCheckExpand in kind of occurrencesSimon Peyton Jones2020-07-242-21/+105
View Lorry Controller Status