summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcTyDecls.lhs
Commit message (Expand)AuthorAgeFilesLines
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-855/+0
* Remove references to SynTyCon. Fixes #9812Jan Stolarek2014-12-021-4/+5
* Rename some of the functions in NameSet, to make the uniform with VarSet etcSimon Peyton Jones2014-11-281-3/+3
* Split SynTyCon to SynonymTyCon and FamilyTyConJan Stolarek2014-11-201-1/+1
* Make tyConsOfType return a (NameEnv TyCon) rather than [TyCon]Simon Peyton Jones2014-11-061-8/+5
* [ci skip] typecheck: detabify/dewhitespace TcTyDeclsAustin Seipp2014-09-251-32/+26
* Make Applicative a superclass of MonadAustin Seipp2014-09-091-0/+4
* White space onlySimon Peyton Jones2014-07-141-1/+1
* Fix commentGabor Greif2014-07-121-1/+1
* Refactoring around TyCon.isSynTyConSimon Peyton Jones2014-05-151-4/+4
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-1/+2
* Fix #8958.Richard Eisenberg2014-04-051-1/+3
* Cleaned up Maybes.lhsBaldur Blöndal2014-02-131-1/+1
* Rejig rejigConRes & friends, doing role checks in a second pass.Richard Eisenberg2013-12-021-1/+4
* Change default roles for classes to be *nominal*.Richard Eisenberg2013-10-231-12/+15
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* Change role annotation syntax.Richard Eisenberg2013-09-171-23/+45
* Expose tcTyConsOfType as Types.tyConsOfTypeJoachim Breitner2013-09-131-33/+2
* Fix AMP warnings.Austin Seipp2013-09-111-0/+9
* Make role inference work on the source type of a data conSimon Peyton Jones2013-09-041-3/+19
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-5/+288
* Fix Trac #7805: don't allow nested foralls in promoted typesSimon Peyton Jones2013-04-031-14/+9
* Refactor and improve the promotion inferenceSimon Peyton Jones2013-01-251-12/+99
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-1/+1
* Make a start towards eta-rules and injective familiesSimon Peyton Jones2012-09-181-3/+2
* Remove cc_ty from CIrredCan and cc_hole_ty from CHoleCanSimon Peyton Jones2012-09-171-11/+0
* Do SCC on instance declarations (fixes Trac #5715)Simon Peyton Jones2012-04-201-3/+3
* Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-131-6/+2
|\
| * Hurrah! This major commit adds support for scoped kind variables,Simon Peyton Jones2012-03-021-6/+2
* | Mainly, rename LiteralTy to LitTySimon Peyton Jones2012-01-131-4/+4
* | Extend GHC's type with a representation for type level literals.Iavor S. Diatchki2011-12-181-0/+2
|/
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Comments onlySimon Peyton Jones2011-10-241-2/+2
* Comments only on superclass cycle checkSimon Peyton Jones2011-10-241-38/+77
* Add note about superclass cycle checkMax Bolingbroke2011-10-241-0/+26
* Implement relaxed superclass cycle checkMax Bolingbroke2011-10-221-10/+57
* move AvailInfo and related things into its own moduleSimon Marlow2011-09-211-0/+1
* Implement -XConstraintKindMax Bolingbroke2011-09-061-21/+21
* Eliminate isHiBootTyCon in favour of isAbstractTyConSimon Peyton Jones2011-09-051-1/+1
* Rejig the way in which generic default method signatures are checkedSimon Peyton Jones2011-05-261-8/+7
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-1/+1
* Do dependency analysis when kind-checking type declarationssimonpj@microsoft.com2011-01-101-0/+37
* Remove GHC's haskell98 dependencyIan Lynagh2009-07-241-1/+1
* Fix an nasty black hole, concerning computation of isRecursiveTyConsimonpj@microsoft.com2009-03-301-5/+13
* Follow Digraph changes in TcTyDeclsMax Bolingbroke2008-07-311-3/+3
* Fix warnings in TcTyDeclsIan Lynagh2008-05-211-11/+6
* Fix whitespace in TcTyDeclsIan Lynagh2008-05-211-124/+124
* Remove leftover NoteTy/FTVNote bitsIan Lynagh2008-03-151-1/+0
* Fix CodingStyle#Warnings URLsIan Lynagh2007-09-041-1/+1
* Use OPTIONS rather than OPTIONS_GHC for pragmasIan Lynagh2007-09-031-2/+2
View Lorry Controller Status