summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore/Match.hs
Commit message (Expand)AuthorAgeFilesLines
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-271-3/+3
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-1/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-9/+13
* Fix typosEric Lindblad2022-09-141-1/+1
* Remove many GHC dependencies from L.H.Sromes2022-07-061-0/+2
* Prune L.H.S modules of GHC dependenciesromes2022-07-061-1/+1
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-201-3/+3
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-261-2/+2
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-10/+27
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-0/+1
* Fix a few Note inconsistenciesBen Gamari2022-02-011-2/+2
* Fix typosKrzysztof Gogolewski2021-12-251-2/+2
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-2/+2
* Use HsExpansion for overloaded list patternssheaf2021-06-291-26/+22
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-081-1/+1
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-031-7/+4
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-231-4/+4
* 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-7/+8
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-071-1/+1
* Fix some negation issues when creating FractionalLitMatthew Pickering2021-04-141-1/+3
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-1/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-6/+6
* Run linear Lint on the desugarer output (part of #19165)Krzysztof Gogolewski2021-03-051-3/+2
* Fix typechecking time bug for large rationals (#15646)Andreas Klebinger2021-02-271-8/+12
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-3/+11
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-1/+1
* Factorize and document binder collect functionsSylvain Henry2021-01-221-1/+1
* Implement type applications in patternsCale Gibbard2020-12-141-3/+3
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-3/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-291-1/+2
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-9/+8
* PmCheck: Big refactor of module structureSebastian Graf2020-09-261-4/+4
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-101-19/+19
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-101-3/+3
* Add long-distance info for pattern bindings (#18572)Sebastian Graf2020-09-101-23/+22
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-131-29/+28
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-141-2/+5
* Don't generalize when typechecking a tuple sectionKrzysztof Gogolewski2020-06-271-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-14/+34
* PmCheck: Only call checkSingle if we would report warningsSebastian Graf2020-05-011-2/+4
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-5/+5
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-10/+14
* `MatchResult'` -> `MatchResult`John Ericson2020-04-221-12/+12
* Inline `adjustMatchResult`John Ericson2020-04-221-3/+5
* Refactor the `MatchResult` type in the desugarerJonathan DK Gibbons2020-04-221-1/+1
* Modules (#13009)Sylvain Henry2020-04-181-1/+1