summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl/PatSyn.hs
Commit message (Expand)AuthorAgeFilesLines
* Get the in-scope set right in FamInstEnv.injectiveBrancheswip/T21896Simon Peyton Jones2022-07-251-2/+2
* TTG: Move CoreTickish out of LHS.Bindsromes2022-07-061-3/+3
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-201-1/+1
* TTG: Rework and improve splicesromes2022-06-011-6/+2
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-261-6/+3
* Add arity to the INLINE pragmas for pattern synonymsSimon Peyton Jones2022-05-161-17/+38
* Check for uninferrable variables in tcInferPatSynDeclSimon Peyton Jones2022-05-101-16/+41
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-4/+4
* Remove LevityInfoKrzysztof Gogolewski2022-04-201-4/+2
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-1/+6
* Kill derived constraintsRichard Eisenberg2022-02-231-2/+3
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-10/+11
* Increase type sharingBen Gamari2021-11-171-1/+1
* Remove NoGhcTc usage from HsMatchContextArtyom Kuznetsov2021-09-281-1/+2
* Reject pattern synonyms with linear types (#18806)Krzysztof Gogolewski2021-07-291-3/+7
* Use HsExpansion for overloaded list patternssheaf2021-06-291-19/+40
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-3/+6
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-231-2/+2
* Changes to HsRecField'Shayne Fletcher2021-05-191-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-1/+1
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-071-1/+1
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-291-1/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-35/+38
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-1/+1
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-161-4/+6
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-6/+5
* Make PatSyn immutableSimon Peyton Jones2021-01-291-45/+47
* typecheck: Account for -XStrict in irrefutability checkBen Gamari2021-01-291-1/+3
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-4/+5
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-2/+3
* INLINE pragma for patterns (#12178)Cale Gibbard2020-12-311-16/+51
* Refactor renamer datastructuresAdam Gundry2020-12-241-25/+12
* Implement type applications in patternsCale Gibbard2020-12-141-8/+9
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-23/+81
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-1/+0
* Fix error message location in tcCheckPatSynDeclSimon Peyton Jones2020-10-231-5/+13
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-7/+6
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-16/+6
* Use LIdP rather than (XRec p (IdP p))Simon Peyton Jones2020-08-251-1/+1
* Define type Void# = (# #) (#18441)Krzysztof Gogolewski2020-07-221-3/+3
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-5/+4
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-14/+15
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-3/+3
* Explicit SpecificityGert-Jan Bottu2020-05-211-19/+19
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-5/+4
* Do eager instantation in termsSimon Peyton Jones2020-04-221-5/+4
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
View Lorry Controller Status