summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcTyClsDecls.hs
Commit message (Expand)AuthorAgeFilesLines
* Refactor ConDeclAlan Zimmerman2015-12-071-57/+136
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-19/+26
* Check arity on default decl for assoc typesSimon Peyton Jones2015-11-271-8/+17
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-112/+108
* ApiAnnotations: Make all RdrName occurences LocatedAlan Zimmerman2015-11-231-1/+2
* Abstract TFs can have injectivity informationJan Stolarek2015-11-091-4/+3
* Generate Typeable info at definition sitesBen Gamari2015-10-301-52/+60
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-6/+12
* Generate Typeable info at definition sitesBen Gamari2015-10-291-12/+6
* Move mkDefaultMethodIds, mkRecSelBinds from TcTyClsDecls to TcTyDeclsBen Gamari2015-10-291-225/+1
* Record pattern synonymsMatthew Pickering2015-10-291-12/+27
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-33/+30
* Perform a validity check on assoc type defaults.Richard Eisenberg2015-09-211-10/+16
* Fix #10815 by kind-checking type patterns against known kinds.Richard Eisenberg2015-09-191-25/+37
* Improve rejigConRes (again)Simon Peyton Jones2015-09-111-28/+39
* Injective type familiesJan Stolarek2015-09-031-76/+106
* Replace HsBang type with HsSrcBang and HsImplBangAdam Sandberg Eriksson2015-08-101-3/+3
* Support wild cards in data/type family instancesThomas Winant2015-08-031-2/+33
* Typos in commentsGabor Greif2015-07-311-1/+1
* Implementation of StrictData language extensionAdam Sandberg Eriksson2015-07-271-8/+22
* Refactor self-boot infoSimon Peyton Jones2015-07-211-8/+8
* Report arity errors correctly despite kindsSimon Peyton Jones2015-06-181-8/+1
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-3/+17
* Revert multiple commitsAustin Seipp2015-05-141-17/+3
* Add a case to checkValidTyConSimon Peyton Jones2015-05-131-0/+3
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-3/+14
* Permit empty closed type familiesAdam Gundry2015-05-041-17/+20
* Comments in rejigConResSimon Peyton Jones2015-04-091-2/+7
* Typos in commentsGabor Greif2015-03-181-1/+1
* A raft of small changes associated with -XConstrainedClassMethodsSimon Peyton Jones2015-03-041-41/+34
* Comments onlySimon Peyton Jones2015-03-021-9/+10
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-1/+1
* Fix the nullary-type-class case for associated typesSimon Peyton Jones2015-02-061-15/+22
* API Annotations tweaks.Alan Zimmerman2015-01-161-15/+17
* Improve HsBangSimon Peyton Jones2015-01-081-5/+5
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-3/+3
* Fix wrong-kind-of-family error message (Trac #9896)Simon Peyton Jones2014-12-181-2/+2
* Typos in commentsGabor Greif2014-12-171-1/+1
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-0/+2300