summaryrefslogtreecommitdiff
path: root/compiler/types/Class.hs
Commit message (Expand)AuthorAgeFilesLines
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-24/+30
* Fix solving of implicit parameter constraintsSimon Peyton Jones2017-09-251-13/+0
* Typofixes (visiblity -> visibility)Ryan Scott2017-09-211-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Fix binder visiblity for default methodsSimon Peyton Jones2017-07-261-0/+4
* Use lengthIs and friends in more placesRyan Scott2017-06-021-1/+1
* Prevent users from defining instances for abstract classes.Edward Z. Yang2017-03-021-0/+5
* Properly represent abstract classes in Class and IfaceDeclEdward Z. Yang2017-03-021-31/+85
* Spelling in comments onlySimon Peyton Jones2017-02-211-1/+1
* Take account of injectivity when doing fundepsSimon Peyton Jones2016-11-041-1/+1
* Check generic-default method for ambiguitySimon Peyton Jones2016-07-051-9/+1
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-7/+8
* Remove Ord ClassBartosz Nitka2016-06-091-7/+0
* Remove 'deriving Typeable' statementsRyan Scott2016-05-241-3/+1
* FunDep printer: Fix unicode arrowÖmer Sinan Ağacan2016-05-201-1/+1
* Reduce use of instances in hs-boot filesSimon Peyton Jones2016-04-201-2/+2
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-4/+3
* Note [The equality types story] in TysPrimRichard Eisenberg2015-12-161-0/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-4/+16
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-16/+19
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-181-1/+1
* Perform a validity check on assoc type defaults.Richard Eisenberg2015-09-211-1/+5
* Don't report instance constraints with fundeps as redundantSimon Peyton Jones2015-02-201-1/+4
* API Annotations documentation update, parsing issue, add example testAlan Zimmerman2015-01-191-0/+2
* API Annotations tweaks.Alan Zimmerman2015-01-161-2/+8
* unlit compiler/types/ modulesHerbert Valerio Riedel2014-12-011-0/+287