summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils/TcType.hs
Commit message (Expand)AuthorAgeFilesLines
* Use the eager unifier in the constraint solverwip/T23070-unifySimon Peyton Jones2023-05-121-6/+7
* Add the Unsatisfiable classsheaf2023-04-291-0/+1
* More informative errors for bad imports (#21826)Soham Chowdhury2023-04-251-4/+2
* Don't panic in ltPatersonSizesheaf2023-04-181-20/+35
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-3/+13
* Report family instance orphans correctlySimon Peyton Jones2023-01-271-3/+0
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-79/+280
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-241-2/+2
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-2/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-324/+106
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-081-1/+1
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-011-1/+1
* Fix typosEric Lindblad2022-09-141-4/+4
* Add diagnostic codessheaf2022-09-131-0/+4
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-7/+6
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-20/+36
* Generalize breakTyVarCycle to work with TyFamLHSRichard Eisenberg2022-05-261-1/+1
* Misc cleanupKrzysztof Gogolewski2022-05-161-2/+2
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-1/+1
* Ensure Any is not levity-polymorphic in FFIsheaf2022-05-041-2/+2
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-30/+93
* Ensure that Any is Boxed in FFI imports/exportssheaf2022-04-271-9/+41
* Convert Diagnostics in GHC.Tc.Gen.ForeignAaron Allen2022-03-161-40/+58
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-4/+23
* Don't allow Float#/Double# literal patternssheaf2022-03-051-5/+15
* Introduce ConcreteTv metavariablessheaf2022-03-021-4/+26
* Kill derived constraintsRichard Eisenberg2022-02-231-160/+24
* Consistently upper-case "Note ["Ben Gamari2022-02-011-1/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-43/+72
* Change isUnliftedTyCon to marshalablePrimTyCon (#20401)Krzysztof Gogolewski2021-12-171-21/+17
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-1/+2
* Make GHC.Utils.Error.Validity type polymorphicAlfredo Di Napoli2021-10-051-1/+1
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-291-22/+12
* Eta expand through CallStacksSimon Peyton Jones2021-07-271-22/+1
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-051-49/+2
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-4/+4
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-12/+13
* Clarify commentary around the constraint solverRichard Eisenberg2021-04-101-0/+5
* Tweak kick-out condition K2b to deal with LHSsRichard Eisenberg2021-04-101-1/+5
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+1
* typecheck: Eliminate allocations in tc_eq_typeBen Gamari2021-02-021-13/+36
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-2/+2
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-21/+1
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-43/+59
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-20/+24
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-141-0/+5
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-141-5/+0
* Optimise nullary type constructor usageBen Gamari2020-12-141-0/+5
View Lorry Controller Status