summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcBinds.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-1/+1
* Fix used-variable calculation (Trac #12548)Simon Peyton Jones2016-12-051-0/+1
* Fix inference of partial signaturesSimon Peyton Jones2016-11-251-2/+5
* A few typos in commentsGabor Greif2016-11-211-1/+1
* Test for type synonym loops on TyCon.Edward Z. Yang2016-11-161-1/+3
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-81/+9
* Refactor typechecking of pattern bindingsSimon Peyton Jones2016-10-211-88/+138
* When a value Id comes from hi-boot, insert noinline. Fixes #10083.Edward Z. Yang2016-08-211-59/+0
* Support SCC pragmas in declaration contextÖmer Sinan Ağacan2016-07-201-1/+22
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-4/+4
* Fix #10963 and #11975 by adding new cmds to GHCi.Richard Eisenberg2016-06-231-4/+5
* Provide Uniquable version of SCCBartosz Nitka2016-06-231-1/+1
* Typos in commentsGabor Greif2016-06-211-1/+1
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-1/+1
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-4/+4
* Adjust error message slightlySimon Peyton Jones2016-06-141-2/+2
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-710/+331
* Improve the error messages for static forms.Facundo Domínguez2016-06-091-20/+27
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-3/+5
* Document SCC determinismBartosz Nitka2016-05-111-1/+5
* Use partial-sig constraints as givensSimon Peyton Jones2016-05-101-6/+5
* Emit wild-card constraints in the right placeSimon Peyton Jones2016-05-101-15/+19
* White space onlySimon Peyton Jones2016-05-101-9/+9
* Add uniqSetAny and uniqSetAll and use themBartosz Nitka2016-04-281-1/+1
* Add missing solveEqualitiesSimon Peyton Jones2016-04-281-10/+5
* Set tct_closed to TopLevel for closed bindings.Facundo Domínguez2016-04-061-46/+76
View Lorry Controller Status