summaryrefslogtreecommitdiff
path: root/compiler/types/TyCon.hs
Commit message (Expand)AuthorAgeFilesLines
...
* Fix #13983 by creating a TyConFlavour type, and using itRyan Scott2017-07-191-30/+98
* Use lengthIs and friends in more placesRyan Scott2017-06-021-5/+5
* Comments only, about Typeable/TypeRep/KindRepSimon Peyton Jones2017-05-041-1/+4
* Injective type families imply nominal injectivity, but NOT rep injEdward Z. Yang2017-03-021-1/+1
* Treat all TyCon with hole names as skolem abstract.Edward Z. Yang2017-02-261-76/+53
* Remove panics for TcTyConSimon Peyton Jones2017-02-211-48/+55
* Typos in manual, tests and commentsGabor Greif2017-02-201-1/+1
* Disable Typeable binding generation for unboxed sumsBen Gamari2017-02-181-4/+5
* Type-indexed TypeableBen Gamari2017-02-181-2/+4
* Generalize kind of the (->) tyconBen Gamari2017-02-181-2/+2
* Implement HasField constraint solving and modify OverloadedLabelsAdam Gundry2017-02-141-1/+4
* Update levity polymorphismRichard Eisenberg2017-01-191-10/+29
* Spelling fixes in comments [ci skip]Gabor Greif2017-01-181-1/+1
* Fix handling of closed type families in Backpack.Edward Z. Yang2017-01-111-0/+8
* Use isFamFreeTyCon now we have itSimon Peyton Jones2016-12-051-1/+1
* Make quoting and reification return the same typesDominik Bollmann2016-11-251-6/+14
* Kill Type pretty-printerBen Gamari2016-11-131-1/+1
* Refactor occurrence-check logicSimon Peyton Jones2016-10-211-4/+23
* New story for abstract data types in hsig files.Edward Z. Yang2016-10-201-6/+76
* Minor typofix.Edward Z. Yang2016-08-161-1/+1
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-6/+70
* Fix misspellings of the word "instance" in commentsRyan Scott2016-07-181-1/+1
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-20/+5
* Deal correctly with unused imports for 'coerce'Simon Peyton Jones2016-06-281-0/+5
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-12/+12
* Remove Ord TyConBartosz Nitka2016-06-231-7/+0
* More typos in comments [skip ci]Gabor Greif2016-06-221-1/+1
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-159/+215
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-12/+21
* Implement Eq TyCon directlyBartosz Nitka2016-06-091-2/+2
* Make FieldLabelEnv a deterministic setBartosz Nitka2016-06-031-5/+5
* Remove 'deriving Typeable' statementsRyan Scott2016-05-241-3/+1
* Give lifted primitive types a representationBen Gamari2016-05-191-1/+2
* Fix reference to Note in TcCanonicalRyanGlScott2016-04-301-2/+2
* Remove the incredibly hairy splitTelescopeTvs.Richard Eisenberg2016-04-291-7/+56
* Reduce use of instances in hs-boot filesSimon Peyton Jones2016-04-201-3/+3
* A raft of comments about TyBindersSimon Peyton Jones2016-03-251-97/+92
* Delete a misleading comment in TyConBartosz Nitka2016-03-211-3/+0
* Use tyConArity rather than (length tvs)Simon Peyton Jones2016-03-021-4/+3
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-106/+196
* Fix #11313.Richard Eisenberg2016-02-171-2/+5
* Fix #11246.Richard Eisenberg2016-02-171-3/+7
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-271-8/+8
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-201-1/+30
* Fix #11311Richard Eisenberg2016-01-151-2/+3
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-115/+96
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-6/+19
* Associate pattern synonyms with types in module exportsMatthew Pickering2015-11-111-0/+16
* Generate Typeable info at definition sitesBen Gamari2015-10-301-176/+236
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-236/+176
View Lorry Controller Status