summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Types
Commit message (Expand)AuthorAgeFilesLines
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-6/+6
* Change representation of HsGetField and HsProjectionShayne Fletcher2021-05-271-1/+1
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-231-1/+1
* Change representation of field selector occurencesShayne Fletcher2021-05-231-1/+1
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-123-3/+3
* Fully remove HsVersions.hSylvain Henry2021-05-123-6/+1
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-4/+4
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-071-1/+0
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-9/+27
* Test #19665 as expect_broken, with commentaryRichard Eisenberg2021-04-101-0/+3
* Kick out fewer equalities by thinking harderRichard Eisenberg2021-04-101-1/+2
* Tweak kick-out condition K2b to deal with LHSsRichard Eisenberg2021-04-101-1/+52
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-311-7/+16
* GHC Exactprint main commitAlan Zimmerman2021-03-201-1/+1
* Implement record dot syntaxwip/joachim/bump-haddockShayne Fletcher2021-03-061-0/+4
* Run linear Lint on the desugarer output (part of #19165)Krzysztof Gogolewski2021-03-051-1/+6
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-012-14/+11
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-2/+2
* Remove unused extension pragmas from the compiler code baseHécate2021-01-171-1/+2
* Missing fields: enhance error messages (#18869)Sylvain Henry2021-01-171-1/+1
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-1/+1
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-253-16/+44
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-37/+50
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-011-10/+10
* Remove flattening variablesRichard Eisenberg2020-12-012-205/+222
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-062-15/+47
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-3/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-291-8/+14
* Remove Proxy# argument in Data.Typeable.InternalKrzysztof Gogolewski2020-10-151-1/+1
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-091-0/+3
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-242-8/+14
* Remove unused ThBrackCtxt and ResSigCtxtRyan Scott2020-09-211-5/+0
* DynFlags: disentangle OutputableSylvain Henry2020-08-123-4/+10
* DynFlags: don't use sdocWithDynFlags in datacon pprSylvain Henry2020-07-301-2/+2
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-181-12/+4
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-141-1/+1
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-252-12/+12
* Linear types (#15981)Krzysztof Gogolewski2020-06-172-27/+55
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-3/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-052-30/+35
* Improve some folds over Uniq[D]FMSimon Jakobi2020-05-141-3/+21
* Remove further dead code found by a simple Python script.Brian Foley2020-05-081-24/+3
* Refactor hole constraints.Richard Eisenberg2020-05-062-79/+120
* PmCheck: Pick up `EvVar`s bound in `HsWrapper`s for long-distance infoSebastian Graf2020-05-011-1/+22
* Unit: split and rename modulesSylvain Henry2020-04-302-2/+2
* Refactoring unit management codeSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-264-24/+24
* Do eager instantation in termsSimon Peyton Jones2020-04-221-1/+1
* Modules (#13009)Sylvain Henry2020-04-182-2/+2
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-4/+0
View Lorry Controller Status