summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Expr.hs
Commit message (Expand)AuthorAgeFilesLines
* Add a Typeable constraint to fromStaticPtr, addressing #19729David Simmons-Duffin2021-08-101-5/+2
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-20/+34
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-081-0/+1
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-231-2/+2
* Change representation of field selector occurencesShayne Fletcher2021-05-231-5/+4
* Changes to HsRecField'Shayne Fletcher2021-05-191-31/+31
* 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-9/+10
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-071-5/+3
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-291-6/+4
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-2/+1
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-4/+4
* GHC Exactprint main commitAlan Zimmerman2021-03-201-34/+47
* Implement record dot syntaxwip/joachim/bump-haddockShayne Fletcher2021-03-061-4/+22
* Infer multiplicity in case expressionsKrzysztof Gogolewski2021-03-011-3/+1
* Implement -Wambiguous-fieldsAdam Gundry2021-02-261-2/+17
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-200/+82
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-161-2/+1
* Make PatSyn immutableSimon Peyton Jones2021-01-291-12/+9
* Separate AST from GhcPass (#18936)John Ericson2021-01-231-1/+1
* Missing fields: enhance error messages (#18869)Sylvain Henry2021-01-171-20/+40
* Show missing field types (#18869)Sylvain Henry2021-01-171-6/+10
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-251-7/+4
* Refactor renamer datastructuresAdam Gundry2020-12-241-2/+2
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-3/+2
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-291-1/+1
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-291-1/+4
* Split GHC.Driver.TypesSylvain Henry2020-10-291-0/+1
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-8/+10
* Fix typed holes causing linearity errors (#18491)Krzysztof Gogolewski2020-09-251-0/+2
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-1338/+71
* PmCheck: Rewrite inhabitation testSebastian Graf2020-09-221-0/+2
* Remove GENERATED pragma, as it is not being usedAlan Zimmerman2020-09-091-1/+0
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-5/+4
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Remove {-# CORE #-} pragma (part of #18048)Krzysztof Gogolewski2020-07-181-1/+0
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-181-1/+1
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-10/+1
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-141-15/+25
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-271-12/+7
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-3/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-91/+204
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-135/+153
* Explicit SpecificityGert-Jan Bottu2020-05-211-2/+2
* Refactor hole constraints.Richard Eisenberg2020-05-061-8/+5
* Don't return a panic in tcNestedSpliceSimon Peyton Jones2020-05-041-15/+12
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
View Lorry Controller Status