summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/TyCo
Commit message (Expand)AuthorAgeFilesLines
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-142-21/+53
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-3/+4
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-241-107/+0
* Refactor TyCon to have a top-level productSimon Peyton Jones2022-12-021-0/+6
* Use mkNakedFunTy in tcPatSynSigSimon Peyton Jones2022-11-302-4/+4
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-232-2/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-118-429/+1270
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-1/+2
* Broaden the in-scope sets for liftEnvSubst and composeTCvSubstRyan Scott2022-10-261-2/+7
* Fix typosEric Lindblad2022-09-142-4/+4
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-243/+291
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-4/+4
* Misc cleanupKrzysztof Gogolewski2022-05-161-0/+1
* Fix printing of brackets in multiplicities (#20315)jackohughes2022-05-131-1/+1
* Fix several note referencesKrzysztof Gogolewski2022-05-023-10/+4
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-1/+5
* Refactor: make primtypes independent of PrimRepsKrzysztof Gogolewski2022-03-301-0/+4
* Avoid some SOURCE importsSylvain Henry2022-03-201-1/+0
* Kill derived constraintsRichard Eisenberg2022-02-232-10/+41
* Fix some notesMatthew Pickering2022-02-081-2/+2
* Fix a few Note inconsistenciesBen Gamari2022-02-011-2/+2
* Rework the handling of SkolemInfoMatthew Pickering2022-01-292-2/+2
* Misc cleanupKrzysztof Gogolewski2021-11-252-13/+2
* Increase type sharingBen Gamari2021-11-173-9/+11
* Fix Note [Function types]Richard Eisenberg2021-11-101-37/+29
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-291-9/+71
* Driver rework pt3: the upsweepMatthew Pickering2021-08-181-0/+1
* Only create callstack in DEBUG buildsSylvain Henry2021-08-021-16/+16
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-123-3/+3
* Fully remove HsVersions.hSylvain Henry2021-05-123-6/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-122-35/+37
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-044-9/+11
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-264-0/+9
* CoreTidy: handle special cases to preserve more sharing.Sylvain Henry2021-04-091-1/+2
* CoreTidy: enhance strictness noteBen Gamari2021-04-091-5/+15
* Add compiler linting to CIHécate2021-03-251-1/+0
* Fix the binder-swap transformation in OccurAnalSimon Peyton Jones2021-03-241-1/+5
* Make the simplifier slightly stricter.Andreas Klebinger2021-03-201-1/+4
* Pmc: Consider Required Constraints when guessing PatSyn arg types (#19475)Sebastian Graf2021-03-141-5/+8
* Replace Ord TyLit with nonDetCmpTyLit (#19441)Vladislav Zavialov2021-03-091-10/+20
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-65/+3
* Extend nullary TyConApp optimisation to all TyConsBen Gamari2021-02-183-50/+14
* Fix typosBrian Wignall2021-02-062-2/+2
* The Char kind (#11342)Daniel Rogozin2021-02-061-4/+10
* Fix strictness in TyCo.Tidy (#14738)Sylvain Henry2021-01-281-18/+38
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-241-0/+8
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-10/+4
* Implement BoxedRep proposalAndrew Martin2020-12-141-4/+10
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-142-19/+70
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-142-70/+19
View Lorry Controller Status