summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcPat.hs
Commit message (Expand)AuthorAgeFilesLines
* Use lengthIs and friends in more placesRyan Scott2017-06-021-1/+1
* Typos in manual and commentsGabor Greif2017-03-141-1/+1
* Use the correct origin in SectionL and Section RSimon Peyton Jones2017-02-161-1/+1
* Typos and grammar in manual/commentsGabor Greif2017-01-231-1/+1
* Update levity polymorphismRichard Eisenberg2017-01-191-21/+3
* Add infix flag for class and data declarationsAlan Zimmerman2016-12-121-2/+1
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-1/+2
* Kill Type pretty-printerBen Gamari2016-11-131-3/+4
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-16/+6
* Refactor typechecking of pattern bindingsSimon Peyton Jones2016-10-211-89/+104
* Fix wrapping order in matchExpectedConTySimon Peyton Jones2016-10-171-10/+14
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-0/+13
* Have addModFinalizer expose the local type environment.Facundo Domínguez2016-07-061-0/+9
* Typos in commentsGabor Greif2016-06-211-1/+1
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-128/+46
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-1/+2
* Fix partial sigs and pattern bindings interactionSimon Peyton Jones2016-05-101-13/+83
* Make SigSkol take TcType not ExpTypeSimon Peyton Jones2016-03-311-2/+1
* Avoid running afoul of the zipTvSubst check.Richard Eisenberg2016-03-211-1/+2
* Fix #11716.Richard Eisenberg2016-03-171-2/+7
* Fix #11711.Richard Eisenberg2016-03-171-1/+1
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-1/+2
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-2/+2
* Replace mkTvSubstPrs (a `zip` b) with zipTvSubst a bBartosz Nitka2016-02-101-1/+1
* Rename "open" subst functionsBartosz Nitka2016-01-271-2/+2
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-77/+171
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-271-1/+1
* Kill off zipTopTCvSubst in favour of zipOpenTCvSubstSimon Peyton Jones2016-01-261-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-11/+10
* Implement scoped type variables in pattern synonymsSimon Peyton Jones2016-01-181-2/+1
* Visible type applicationRichard Eisenberg2015-12-241-74/+69
* Fix typechecking for pattern synonym signaturesSimon Peyton Jones2015-12-221-3/+3
* Add Location to RdrName in FieldOccAlan Zimmerman2015-12-211-2/+4
* Expose enabled language extensions to THBen Gamari2015-12-151-2/+3
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-29/+43
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-203/+19
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-231-2/+2
* Record pattern synonymsMatthew Pickering2015-10-291-3/+3
* Pattern synonyms: swap provided/requiredSimon Peyton Jones2015-10-281-1/+1
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-11/+12
* Add selectors for common fields (DataCon/PatSyn) to ConLikeMatthew Pickering2015-08-181-7/+1
* Tidy up and refactor wildcard handlingSimon Peyton Jones2015-08-051-60/+68
* Add NOINLINE for hs-boot functionsSimon Peyton Jones2015-07-211-25/+39
* Use a Representaional coercion for data familiesSimon Peyton Jones2015-06-261-15/+28
* Report arity errors correctly despite kindsSimon Peyton Jones2015-06-181-2/+2
* TypofixesGabor Greif2015-06-031-1/+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
* Typos in error messages and in commentsGabor Greif2015-04-101-1/+1
View Lorry Controller Status