summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Coercion.hs
Commit message (Expand)AuthorAgeFilesLines
* Improve performance of eta expansionSimon Peyton Jones2021-07-281-1/+10
* Simplify and improve the eta expansion mechanismSimon Peyton Jones2021-07-281-13/+43
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+0
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-52/+53
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-5/+5
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+3
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-43/+43
* Remove flattening variablesRichard Eisenberg2020-12-011-27/+73
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-7/+7
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-2/+2
* Fix two constraint solving problemsSimon Peyton Jones2020-10-271-11/+49
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+5
* 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-0/+22
* Optimize NthCo (FunCo ...) in coercion optRichard Eisenberg2020-09-291-19/+25
* Fix handling of function coercions (#18747)Krzysztof Gogolewski2020-09-261-1/+1
* Better eta-expansion (again) and don't specilise DFunsSimon Peyton Jones2020-09-221-26/+41
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-2/+4
* Add two bangs to improve perf of flatteningSimon Peyton Jones2020-07-301-4/+6
* This patch addresses the exponential blow-up in the simplifier.Simon Peyton Jones2020-07-281-1/+1
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-3/+3
* Two small tweaks to Coercion.simplifyArgsWorkerSimon Peyton Jones2020-06-231-1/+5
* Various performance improvementsKrzysztof Gogolewski2020-06-171-3/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-40/+52
* Implement cast worker/wrapper properlySimon Peyton Jones2020-06-101-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-0/+1
* Explicit SpecificityGert-Jan Bottu2020-05-211-1/+1
* Document (->) using inferred quantification for its runtime representations.Baldur Blöndal2020-05-131-1/+3
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-6/+6
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* GHC.Core.Opt renamingSylvain Henry2020-04-181-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-4/+4
* Clean up "Eta reduction for data families" NotesRyan Scott2020-04-011-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-8/+8
* Update core spec to reflect changes to Core.Richard Eisenberg2020-03-201-2/+2
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-2/+43
* Modules: Core operations (#13009)Sylvain Henry2020-03-181-1/+1
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+2906
View Lorry Controller Status