summaryrefslogtreecommitdiff
path: root/compiler/iface/BuildTyCl.lhs
Commit message (Expand)AuthorAgeFilesLines
* compiler: de-lhs iface/Austin Seipp2014-12-031-338/+0
* Rejig builders for pattern synonyms, especially unlifted onesSimon Peyton Jones2014-11-211-4/+4
* Split SynTyCon to SynonymTyCon and FamilyTyConJan Stolarek2014-11-201-8/+18
* If pattern synonym is bidirectional and its type is some unboxed type T#,Dr. ERDI Gergo2014-11-131-1/+1
* Group PatSyn req/prov arguments together so that they're not all over the placeDr. ERDI Gergo2014-11-081-13/+10
* De-tabify and remove trailing whitespaceSimon Peyton Jones2014-09-261-149/+143
* Comments and white spaceSimon Peyton Jones2014-08-071-1/+1
* Assert that matcher-derived PatSyn types match the (redundant) stored types i...Dr. ERDI Gergo2014-05-271-7/+12
* Store IfExtNames for PatSyn matchers and wrappers in interface file.Dr. ERDI Gergo2014-05-271-60/+21
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-1/+2
* Refactor buildClass and mkDictSelId a bit, to avoid the no_unf argumentSimon Peyton Jones2014-05-081-10/+5
* Implement pattern synonymsDr. ERDI Gergo2014-01-201-0/+69
* Move defaultClassMinimalDef from BuildTyCl to TcClassDclunknown2013-10-011-11/+1
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* Implement checkable "minimal complete definitions" (#7633)Twan van Laarhoven2013-09-181-3/+14
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-20/+23
* Revise implementation of overlapping type family instances.Richard Eisenberg2013-06-211-1/+1
* Refactor and improve the promotion inferenceSimon Peyton Jones2013-01-251-16/+0
* Make {-# UNPACK #-} work for type/data family invocationsSimon Peyton Jones2012-12-231-5/+7
* Major refactoring of the way that UNPACK pragmas are handledSimon Peyton Jones2012-12-141-2/+6
* Make the opt_UF_* static flags dynamicIan Lynagh2012-10-091-3/+7
* Make a start towards eta-rules and injective familiesSimon Peyton Jones2012-09-181-1/+1
* Change how macros like ASSERT are definedIan Lynagh2012-06-051-1/+1
* Add a crucial forkM on the superclass context of IfaceClass in tcIfaceDeclSimon Peyton Jones2012-03-281-4/+3
* Remove support for CTYPE pragmas on type synonymsIan Lynagh2012-02-221-3/+2
* Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-161-4/+7
* Give promoted DataCons a tyConArity and promoted TyCons a tyConKindSimon Peyton Jones2012-02-061-8/+0
* Major refactoring of CoAxiomsSimon Peyton Jones2012-01-031-58/+17
* Move mkPiTypes back to Type, rename mkForAllArrowKinds to mkPiKindsJose Pedro Magalhaes2011-11-161-3/+3
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-111-10/+16
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Merge branch 'no-pred-ty'Max Bolingbroke2011-09-091-15/+12
|\
| * Implement -XConstraintKindMax Bolingbroke2011-09-061-15/+12
* | Implement associated type defaultsMax Bolingbroke2011-09-091-4/+3
|/
* Export a tiny bit more info with AbstractTyCon (fixes #5424)Simon Peyton Jones2011-09-021-3/+4
* Add equality superclassesSimon Peyton Jones2011-06-221-27/+23
* Rejig the way in which generic default method signatures are checkedSimon Peyton Jones2011-05-261-2/+2
* Simon's fixes to the generated type instances in GenericsSimon Peyton Jones2011-05-201-1/+2
* Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-05-121-14/+6
|\
| * This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-14/+6
* | Remove the hasGenerics field of TyCon, improve the way the Generics flags is ...Jose Pedro Magalhaes2011-05-021-4/+3
* | Initial commit for Pedro's new generic default methodssimonpj2011-04-121-3/+5
|/
* Tighten up what it means to be an "enumeration data constructor"simonpj@microsoft.com2010-12-151-2/+6
* Comment on what an "enumeration" type issimonpj@microsoft.com2010-09-141-8/+2
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-131-75/+63
* Comments and formatting to vectoriserbenl@ouroborus.net2010-08-301-10/+10
* Refactor (again) the handling of default methodssimonpj@microsoft.com2010-05-251-13/+24
* Fix Trac #3966: warn about useless UNPACK pragmassimonpj@microsoft.com2010-05-061-2/+2
* expand comments for #2578 fixSimon Marlow2010-03-011-1/+6
* Fix trac #2578Ian Lynagh2010-02-271-1/+7
View Lorry Controller Status