summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Match.hs
Commit message (Expand)AuthorAgeFilesLines
* Add diagnostic codessheaf2022-09-131-1/+2
* Diagnostics conversions, part 6 (#20116)Aaron Allen2022-06-061-13/+9
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-261-5/+5
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-3/+3
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-9/+9
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-12/+29
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-17/+8
* Introduce ConcreteTv metavariablessheaf2022-03-021-17/+17
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-021-3/+3
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-11/+33
* Remove NoGhcTc usage from HsMatchContextArtyom Kuznetsov2021-09-281-8/+14
* EPA: correctly capture comments between 'where' and bindsAlan Zimmerman2021-09-171-1/+1
* Refactor HsStmtContext and remove HsDoRnArtyom Kuznetsov2021-08-101-9/+8
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-1/+4
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* GHC Exactprint main commitAlan Zimmerman2021-03-201-45/+61
* typecheck: Account for -XStrict in irrefutability checkBen Gamari2021-01-291-6/+7
* Factorize and document binder collect functionsSylvain Henry2021-01-221-2/+2
* Fix unsoundness for linear guards (#19120)Krzysztof Gogolewski2021-01-171-1/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-291-9/+13
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-10/+9
* Pattern guards BindStmt always use multiplicity ManyArnaud Spiwack2020-09-251-1/+8
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-1/+2
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-191-2/+9
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-58/+25
* Implement the proposed -XQualifiedDo extensionMatthias Pall Gissurarson2020-06-261-8/+8
* Expunge GhcTcIdSimon Peyton Jones2020-06-251-27/+27
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-71/+87
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-42/+33
* Explicit SpecificityGert-Jan Bottu2020-05-211-5/+5
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-3/+3
* Do eager instantation in termsSimon Peyton Jones2020-04-221-32/+31
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Use FailOperator in more places, define a couple datatypes (XBindStmtRn and X...Cale Gibbard2020-04-171-11/+19
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-171-12/+12
* Change the fail operator argument of BindStmt to be a MaybeCale Gibbard2020-04-171-10/+15
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-141-1/+1
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-10/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+1125
View Lorry Controller Status