summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Bind.hs
Commit message (Expand)AuthorAgeFilesLines
* Clean up some. In particular:M Farkas-Dyck2022-09-171-1/+1
* Fix typosEric Lindblad2022-09-141-2/+2
* Be more careful in chooseInferredQuantifiersSimon Peyton Jones2022-08-181-24/+45
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-1/+1
* TTG: Move CoreTickish out of LHS.Bindsromes2022-07-061-8/+7
* Prune L.H.S modules of GHC dependenciesromes2022-07-061-2/+2
* Instantiate top level foralls in partial type signaturesSimon Peyton Jones2022-06-201-68/+100
* Check for uninferrable variables in tcInferPatSynDeclSimon Peyton Jones2022-05-101-2/+2
* Fix several note referencesKrzysztof Gogolewski2022-05-021-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-3/+3
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-2/+2
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-141-11/+7
* Always generalise top-level bindingsSimon Peyton Jones2022-03-071-13/+33
* Introduce ConcreteTv metavariablessheaf2022-03-021-5/+4
* Kill derived constraintsRichard Eisenberg2022-02-231-84/+76
* Define and use restoreLclEnvSimon Peyton Jones2022-01-271-5/+2
* Improve partial signaturesSimon Peyton Jones2022-01-271-0/+3
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-2/+9
* Remove NoGhcTc usage from HsMatchContextArtyom Kuznetsov2021-09-281-11/+29
* GHC.Tc.Gen Diagnostics Conversion (Part 1)Aaron Allen2021-08-271-42/+15
* Use Reductions to keep track of rewritingssheaf2021-08-041-1/+2
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-7/+13
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-1/+1
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-3/+1
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-1/+1
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-1/+1
* rename Tickish to CoreTickishLuite Stegeman2021-03-201-2/+2
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-201-1/+1
* Save the type of breakpoints in the Breakpoint tick in STGLuite Stegeman2021-03-201-1/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-22/+22
* Bring back COMPLETE sets filtered by result TyCon (#14422)Cale Gibbard2021-03-041-5/+10
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-2/+2
* Fix typosBrian Wignall2021-02-061-1/+1
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-1/+1
* Make PatSyn immutableSimon Peyton Jones2021-01-291-1/+1
* Factorize and document binder collect functionsSylvain Henry2021-01-221-7/+7
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-16/+31
* INLINE pragma for patterns (#12178)Cale Gibbard2020-12-311-2/+2
* Remove flattening variablesRichard Eisenberg2020-12-011-2/+1
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-1/+1
* Split GHC.Driver.TypesSylvain Henry2020-10-291-0/+1
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-5/+6
* Extract definition of DsM into GHC.HsToCore.TypesSebastian Graf2020-09-121-1/+1
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-121-101/+10
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-191-27/+99
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-2/+2
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-14/+14
View Lorry Controller Status