summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* 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
* Define type Void# = (# #) (#18441)Krzysztof Gogolewski2020-07-222-5/+4
* Deprecate -fdmd-tx-dict-sel.Andreas Klebinger2020-07-221-2/+3
* Use ShortByteString for FastStringDaniel Gröber2020-07-222-4/+7
* Fix minor typos in a Core.hs noteChaitanya Koparkar2020-07-181-1/+1
* Refactor the simplification of join bindersSimon Peyton Jones2020-07-183-111/+129
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-183-29/+23
* Explain why keeping DynFlags in AnalEnv saves allocation.Andreas Klebinger2020-07-141-1/+19
* Reduce result discount in conSizeSimon Peyton Jones2020-07-131-16/+34
* Use dumpStyle when printing inliningsSimon Peyton Jones2020-07-131-1/+1
* Give Uniq[D]FM a phantom type for its key.Andreas Klebinger2020-07-125-12/+34
* Improve eta-expansion using ArityTypeSimon Peyton Jones2020-07-113-185/+243
* Make arityType deal with join pointsSimon Peyton Jones2020-07-101-4/+93
* Define multiShotIO and use it in mkSplitUniqueSupplySimon Peyton Jones2020-07-101-13/+35
* DynFlags: avoid the use of sdocWithDynFlags in GHC.Core.Rules (#17957)Sylvain Henry2020-07-034-28/+39
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-036-65/+227
* Improve debug tracing for substitutionSimon Peyton Jones2020-07-018-58/+59
* Fix a typo in LintSimon Peyton Jones2020-06-281-7/+7
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-2811-12/+12
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-281-4/+4
* Better loop detection in findTypeShapeSimon Peyton Jones2020-06-272-24/+38
* Fix ghc-bignum exceptionsSylvain Henry2020-06-271-3/+36
* GHC.Core.Unify: Make UM actions one-shot by defaultwip/oneshot-unifySebastian Graf2020-06-251-3/+83
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-2518-61/+61
* Two small tweaks to Coercion.simplifyArgsWorkerSimon Peyton Jones2020-06-231-1/+5
View Lorry Controller Status