summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcInstDcls.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix misspellings of the word "instance" in commentsRyan Scott2016-07-181-2/+2
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-1/+1
* Typos in user manual and code: recurisve -> recursiveÖmer Sinan Ağacan2016-06-271-1/+1
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-1/+1
* Improve typechecking of instance defaultsSimon Peyton Jones2016-06-241-76/+58
* Remove unused arg to tcSuperClassesSimon Peyton Jones2016-06-221-5/+4
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-3/+2
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-1/+1
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-9/+17
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-2/+3
* Use tcExtendGlobalValEnv for default methodsSimon Peyton Jones2016-05-061-2/+3
* Fix typo: Superclases -> SuperclassesBartosz Nitka2016-04-291-2/+2
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-98/+73
* Tighten checking for associated type instancesSimon Peyton Jones2016-04-191-4/+4
* Set tct_closed to TopLevel for closed bindings.Facundo Domínguez2016-04-061-1/+1
* Move DFunUnfolding generation to TcInstDclsSimon Peyton Jones2016-03-231-8/+34
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-3/+3
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-2/+2
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-3/+4
* Improve piResultTys and friendsSimon Peyton Jones2016-02-181-1/+1
* A tiny, outright bug in tcDataFamInstDeclSimon Peyton Jones2016-02-151-10/+11
* Simplify AbsBinds wrappingSimon Peyton Jones2016-02-121-65/+86
* Define mkTvSubst, and use itSimon Peyton Jones2016-02-081-3/+1
* Allow foralls in instance declsSimon Peyton Jones2016-02-081-2/+1
* Rename "open" subst functionsBartosz Nitka2016-01-271-1/+1
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-1/+2
* Refactor validity checking for type/data instancesSimon Peyton Jones2016-01-251-6/+3
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-27/+27
* Add Trac #11427 to Note [Recursive superclasses]Simon Peyton Jones2016-01-181-1/+1
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-181-3/+2
* Fix #11254.Richard Eisenberg2016-01-151-51/+62
* Use an Implication in 'deriving' errorSimon Peyton Jones2016-01-071-1/+1
* Visible type applicationRichard Eisenberg2015-12-241-9/+14
* Expose enabled language extensions to THBen Gamari2015-12-151-3/+4
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-36/+51
* Fix egregious error in eta-reduction of data familiesSimon Peyton Jones2015-12-041-55/+37
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-22/+20
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-13/+15
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-231-2/+2
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-181-1/+2
* Revert "Unify hsig and hs-boot; add preliminary "hs-boot" merging."Edward Z. Yang2015-11-161-2/+2
* Generate Typeable info at definition sitesBen Gamari2015-10-301-7/+12
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-12/+7
* Generate Typeable info at definition sitesBen Gamari2015-10-291-7/+12
* Fill in associated type defaults with DeriveAnyClassRyanGlScott2015-10-031-59/+3
* Unify hsig and hs-boot; add preliminary "hs-boot" merging.Edward Z. Yang2015-09-211-2/+2
* Perform a validity check on assoc type defaults.Richard Eisenberg2015-09-211-1/+6
* Fix #10815 by kind-checking type patterns against known kinds.Richard Eisenberg2015-09-191-22/+42
* Injective type familiesJan Stolarek2015-09-031-8/+8
* Tidy up and refactor wildcard handlingSimon Peyton Jones2015-08-051-10/+11
View Lorry Controller Status