summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Coercion.hs
Commit message (Expand)AuthorAgeFilesLines
* Demand: Let `Boxed` win in `lubBoxity` (#21119)Sebastian Graf2022-03-161-1/+3
* Introduce ConcreteTv metavariablessheaf2022-03-021-1/+2
* Kill derived constraintsRichard Eisenberg2022-02-231-19/+11
* Fix a few Note inconsistenciesBen Gamari2022-02-011-2/+2
* Consistently upper-case "Note ["Ben Gamari2022-02-011-1/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-1/+4
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-261-1/+1
* Ensure new Ct/evidence invariantChristiaan Baaij2021-11-251-1/+7
* Add one line of comments (c.f. !5706)Simon Peyton Jones2021-11-181-0/+1
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-291-1/+1
* Use Reductions to keep track of rewritingssheaf2021-08-041-437/+50
* 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