summaryrefslogtreecommitdiff
path: root/compiler/deSugar/Check.hs
Commit message (Expand)AuthorAgeFilesLines
* Add flag to control number of missing patterns in warningsDavid Luposchainsky2016-04-171-10/+8
* Print which flag controls emitted desugaring warningsHerbert Valerio Riedel2016-02-271-15/+25
* (Alternative way to) address #8710George Karachalias2016-02-251-19/+26
* Fix a few loose ends from D1795Ben Gamari2016-02-041-1/+1
* Overhaul the Overhauled Pattern Match CheckerGeorge Karachalias2016-02-041-703/+533
* Rename "open" subst functionsBartosz Nitka2016-01-271-1/+1
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-75/+85
* Kill off zipTopTCvSubst in favour of zipOpenTCvSubstSimon Peyton Jones2016-01-261-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-17/+17
* Avoid generating guards for CoPats if possible (Addresses #11276)George Karachalias2016-01-041-5/+24
* Address #11245: Ensure the non-matched list is always non-emptyGeorge Karachalias2015-12-301-3/+5
* Introduce negative patterns for literals (addresses #11303)George Karachalias2015-12-291-17/+74
* Adding flags: -ffull-guard-reasoning and too-many-guardsGeorge Karachalias2015-12-271-154/+204
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-1/+1
* pmcheck: Comments about undecidability of literal equalityGeorge Karachalias2015-12-051-0/+3
* pmcheck: Comments about term equality representationGeorge Karachalias2015-12-051-0/+63
* Check: More Clang/CPP wibblesBen Gamari2015-12-041-5/+5
* Improve performance for PM check on literals (Fixes #11160 and #11161)George Karachalias2015-12-041-84/+44
* Fix haddock syntaxBen Gamari2015-12-031-3/+8
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-031-694/+1323
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-231-1/+1
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-3/+2
* Comments reformating/correctionsDivam2015-08-181-23/+24
* Add selectors for common fields (DataCon/PatSyn) to ConLikeMatthew Pickering2015-08-181-3/+1
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-1/+1
* Revert multiple commitsAustin Seipp2015-05-141-1/+1
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-1/+1
* Refactor TyCon to eliminate TupleTyConSimon Peyton Jones2015-05-011-1/+2
* Refactor the handling of quasi-quotesSimon Peyton Jones2015-02-101-2/+0
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-2/+2
* API Annotations tweaks.Alan Zimmerman2015-01-161-4/+4
* compiler: de-lhs deSugar/Austin Seipp2014-12-031-0/+773
View Lorry Controller Status