summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcClassDcl.hs
Commit message (Expand)AuthorAgeFilesLines
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-4/+1
* Finish fix for #14880.Tobias Dammers2018-10-281-2/+2
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-131-8/+10
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-3/+10
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Don't suppress unimplemented type family warnings with DeriveAnyClassRyan Scott2017-08-121-5/+22
* Improve the desugaring of -XStrictSimon Peyton Jones2017-07-311-4/+5
* Fix some excessive spacing in error messagesRyan Scott2017-07-121-1/+1
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-20/+21
* Don't warn about missing methods for instances in signatures.Edward Z. Yang2017-02-141-1/+3
* Revamp Backpack/hs-boot handling of type class signatures.Edward Z. Yang2017-01-111-5/+24
* Warn about missing instance methods that start with an underscoreRyan Scott2016-12-151-4/+2
* A few typos in commentsGabor Greif2016-11-211-1/+1
* Fix scoping of type variables in instancesSimon Peyton Jones2016-08-261-14/+22
* Check generic-default method for ambiguitySimon Peyton Jones2016-07-051-4/+4
* Improve typechecking of instance defaultsSimon Peyton Jones2016-06-241-8/+11
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-22/+23
* Remove some gratitious varSetElemsWellScopedBartosz Nitka2016-04-151-7/+6
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-3/+4
* Improve piResultTys and friendsSimon Peyton Jones2016-02-181-2/+2
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-181-1/+1
* A tiny, outright bug in tcDataFamInstDeclSimon Peyton Jones2016-02-151-2/+1
* Simplify AbsBinds wrappingSimon Peyton Jones2016-02-121-1/+0
* Some tiding up in TcGenDerivSimon Peyton Jones2016-02-081-4/+1
* Check InScopeSet in substTy and provide substTyUncheckedBartosz Nitka2016-01-191-2/+2
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-17/+17
* Visible type applicationRichard Eisenberg2015-12-241-4/+5
* Add `-W(no-)xxx` aliases for `-f(no-)warn-xxx` flagsDavid Luposchainsky2015-12-161-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-9/+11
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-9/+11
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-31/+33
* ApiAnnotations: BooleanFormula is not properly LocatedAlan Zimmerman2015-11-011-3/+3
* Fill in associated type defaults with DeriveAnyClassRyanGlScott2015-10-031-1/+72
* Tidy up and refactor wildcard handlingSimon Peyton Jones2015-08-051-8/+9
* Add NOINLINE for hs-boot functionsSimon Peyton Jones2015-07-211-6/+6
* Improve environment handling in TcBindsSimon Peyton Jones2015-03-241-1/+1
* Fix #10045Thomas Winant2015-02-181-2/+5
* API Annotations tweaks.Alan Zimmerman2015-01-161-2/+2
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-74/+65
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-0/+425
View Lorry Controller Status