summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcTyDecls.hs
Commit message (Expand)AuthorAgeFilesLines
* Check generic-default method for ambiguitySimon Peyton Jones2016-07-051-9/+10
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-229/+5
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-7/+8
* Provide Uniquable version of SCCBartosz Nitka2016-06-231-2/+3
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-2/+2
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-17/+18
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-3/+6
* Do not init record accessors as exportedÖmer Sinan Ağacan2016-05-271-1/+6
* Document SCC determinismBartosz Nitka2016-05-111-3/+20
* Refactor RecordPatSynField, FieldLabelSimon Peyton Jones2016-04-281-1/+1
* Kill varSetElems in markNominalBartosz Nitka2016-04-261-10/+11
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-30/+7
* Kill some unnecessary varSetElemsBartosz Nitka2016-04-151-2/+2
* Unwire Typeable representation typesBen Gamari2016-02-181-5/+1
* Rename "open" subst functionsBartosz Nitka2016-01-271-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-7/+7
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-181-1/+1
* Remove some redundant definitions/constraintsHerbert Valerio Riedel2015-12-311-1/+0
* Visible type applicationRichard Eisenberg2015-12-241-19/+21
* Fix super-class cycle checkSimon Peyton Jones2015-12-231-14/+26
* Add Location to RdrName in FieldOccAlan Zimmerman2015-12-211-2/+2
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-151-115/+92
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-86/+143
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-7/+18
* Fix grammar and typo in TcTyDeclsBartosz Nitka2015-12-011-3/+3
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-23/+32
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-231-5/+8
* Generate Typeable info at definition sitesBen Gamari2015-10-301-77/+42
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-59/+107
* Generate Typeable info at definition sitesBen Gamari2015-10-291-107/+59
* TcTyDecls: Remove redundant import of ApplicativeBen Gamari2015-10-291-4/+0
* Move mkDefaultMethodIds, mkRecSelBinds from TcTyClsDecls to TcTyDeclsBen Gamari2015-10-291-4/+236
* Make Monad/Applicative instances MRP-friendlyHerbert Valerio Riedel2015-10-171-2/+2
* Refactor self-boot infoSimon Peyton Jones2015-07-211-4/+5
* Refactor TyCon to eliminate TupleTyConSimon Peyton Jones2015-05-011-6/+9
* Change default roles in hs-boot files. (#9204)Richard Eisenberg2015-04-241-3/+3
* Improve comments on coreView/tcView, and combine coreExpandTyCon/tcExpandTyConSimon Peyton Jones2015-03-021-1/+1
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-0/+849
View Lorry Controller Status