summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Expr.hs
Commit message (Expand)AuthorAgeFilesLines
* Cleanup of dynflags override in export renamingBartłomiej Cieślar2023-05-121-2/+2
* Handle records in the renamersheaf2023-03-291-459/+272
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-6/+7
* Avoid Data.List.group; prefer Data.List.NonEmpty.groupBodigrim2022-09-281-2/+3
* Fix typosEric Lindblad2022-09-141-3/+3
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-111-4/+7
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-2/+2
* Prune L.H.S modules of GHC dependenciesromes2022-07-061-1/+1
* TTG: Rework and improve splicesromes2022-06-011-9/+10
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-251-361/+559
* Fix several note referencesKrzysztof Gogolewski2022-05-021-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-6/+6
* Ensure implicit parameters are liftedsheaf2022-04-011-5/+3
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-4/+4
* TTG: TH brackets finishing touchesromes2022-03-181-1/+1
* Separate constructors for typed and untyped bracketsromes2022-03-181-3/+2
* TTG: Refactor HsBracketromes2022-03-181-3/+3
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-30/+33
* Introduce ConcreteTv metavariablessheaf2022-03-021-7/+6
* Improve errors for non-existent labelsSimon Peyton Jones2022-02-041-2/+1
* Consistently upper-case "Note ["Ben Gamari2022-02-011-1/+1
* Correct type of static forms in hsExprTypeMatthew Pickering2022-01-181-1/+2
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-1/+1
* TTG: replace Void/NoExtCon with DataConCantHappenKrzysztof Gogolewski2021-11-291-1/+1
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-091-1/+2
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-021-8/+6
* HsToken for let/in (#19623)Vladislav Zavialov2021-11-021-2/+2
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-13/+29
* Convert Diagnostics GHC.Tc.Gen.* (Part 3)Aaron Allen2021-10-011-103/+11
* Trees That Grow refactor for HsTick and HsBinTickAndrea Condoluci2021-09-301-2/+0
* 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
View Lorry Controller Status