summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Pat.hs
Commit message (Expand)AuthorAgeFilesLines
* Add a warning for GADT match + NoMonoLocalBinds (#20485)Krzysztof Gogolewski2021-11-231-10/+16
* 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-1/+1
* Care about specificity in pattern type argsRichard Eisenberg2021-10-191-4/+6
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-5/+7
* Reject GADT pattern matches in arrow notationsheaf2021-10-091-28/+40
* Remove NoGhcTc usage from HsMatchContextArtyom Kuznetsov2021-09-281-5/+5
* Use HsExpansion for overloaded list patternssheaf2021-06-291-15/+10
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-12/+21
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-081-0/+1
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-1/+1
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-231-2/+2
* Changes to HsRecField'Shayne Fletcher2021-05-191-2/+2
* 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-5/+6
* GHC Exactprint main commitAlan Zimmerman2021-03-201-12/+12
* Fix typosBrian Wignall2021-02-061-1/+1
* Make pattern synonyms play with CallStackSimon Peyton Jones2021-02-061-2/+27
* Implement type applications in patternsCale Gibbard2020-12-141-20/+108
* Remove flattening variablesRichard Eisenberg2020-12-011-0/+2
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-0/+12
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-291-0/+2
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-7/+6
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-3/+2
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-181-17/+14
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-6/+6
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-12/+12
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-96/+138
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-22/+30
* Use braces with do in `SplicePat` case for consistencyJohn Ericson2020-05-211-2/+2
* Tiny cleaup eta-reduce away a function argumentJohn Ericson2020-05-211-2/+2
* Put `PatEnv` first in `GHC.Tc.Gen.Pat.Checker`John Ericson2020-05-211-62/+65
* More judiciously panic in `ts_pat`John Ericson2020-05-211-3/+3
* Use `Checker` for `tc_lpat` and `tc_lpats`John Ericson2020-05-211-32/+25
* Use `Checker` for `tc_pat`John Ericson2020-05-211-56/+58
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-131-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-4/+4
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-21/+31
* Do eager instantation in termsSimon Peyton Jones2020-04-221-30/+108
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-2/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1214
View Lorry Controller Status