summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
View Lorry Controller Status