summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcBinds.hs
Commit message (Expand)AuthorAgeFilesLines
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-27/+32
* Fail fast on pattern synonymsSimon Peyton Jones2018-10-041-1/+2
* Rename SigTv to TyVarTv (#15480)Joachim Breitner2018-08-161-6/+6
* Fix error recovery for pattern synonymsSimon Peyton Jones2018-06-251-9/+2
* TTG for IPBind had wrong extension nameAlan Zimmerman2018-06-221-1/+1
* Make better "fake tycons" in error recoverySimon Peyton Jones2018-06-151-10/+1
* Fix the bind-recovery typeSimon Peyton Jones2018-06-151-1/+7
* tcExtendTyVarEnv2 changed to tcExtendNameTyVarEnvAlanas Plascinskas2018-06-021-3/+3
* vectorise: Put it out of its miseryBen Gamari2018-06-021-75/+1
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-271-16/+12
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-31/+44
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-7/+7
* Remove HasSourceText and SourceTextX classesAlan Zimmerman2018-04-071-2/+2
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-4/+35
* Make cost centre symbol names deterministic.Shea Levy2018-03-021-7/+9
* Check for bogus quantified tyvars in partial type sigsSimon Peyton Jones2017-12-211-21/+33
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Fix SigTvs at the kind levelSimon Peyton Jones2017-12-111-11/+9
* Check quantification for partial type signatuesSimon Peyton Jones2017-11-271-44/+82
* Revert "trees that grow" workBen Gamari2017-11-211-10/+9
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-111-2/+2
* WIP on Doing a combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-081-7/+8
* Revert "WIP on combining Step 1 and 3 of Trees That Grow"Ben Gamari2017-11-071-3/+2
* WIP on combining Step 1 and 3 of Trees That GrowAlan Zimmerman2017-11-071-2/+3
* Improve type-error reportingSimon Peyton Jones2017-09-251-1/+1
* Deal with large extra-contraints wildcardsSimon Peyton Jones2017-09-251-9/+9
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Tidying could cause ill-kinded typesSimon Peyton Jones2017-09-141-8/+8
* Use NonEmpty lists to represent lists of duplicate elementsRyan Scott2017-08-121-1/+2
* Improve the desugaring of -XStrictSimon Peyton Jones2017-07-311-13/+19
* Do not discard insolubles in implicationsSimon Peyton Jones2017-07-281-7/+15
* Fix the treatment of 'closed' definitionsSimon Peyton Jones2017-06-161-36/+51
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-46/+50
* Typos in comments [ci skip]Gabor Greif2017-05-261-1/+1
* Fix #13233 by checking for lev-poly primopsRichard Eisenberg2017-05-021-1/+1
* Comments and tiny refactoringSimon Peyton Jones2017-04-281-5/+2
* Yet more work on TcSimplify.simplifyInferSimon Peyton Jones2017-04-131-10/+20
* Comments and eta expand onlySimon Peyton Jones2017-04-061-1/+1
* Replace Digraph's Node type synonym with a data typeMatthew Pickering2017-04-041-2/+2
* Fix #13337.Richard Eisenberg2017-03-141-2/+1
* Typos in manual and commentsGabor Greif2017-03-141-6/+6
* Improve error messages for skolemsSimon Peyton Jones2017-03-101-2/+2
* Read COMPLETE sets from external packagesBen Gamari2017-03-061-2/+8
* Revert "Read COMPLETE sets from external packages"Ben Gamari2017-03-031-8/+2
* Read COMPLETE sets from external packagesRyan Scott2017-03-021-2/+8
* Upgrade UniqSet to a newtypeDavid Feuer2017-03-011-1/+2
* Make SCCFunSig tag Located for ghc-exactprintAlan Zimmerman2017-02-241-1/+1
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-261-2/+105
* Update levity polymorphismRichard Eisenberg2017-01-191-123/+9
* Add infix flag for class and data declarationsAlan Zimmerman2016-12-121-1/+1
View Lorry Controller Status