summaryrefslogtreecommitdiff
path: root/compiler/iface/BuildTyCl.lhs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Remove unused importsIan Lynagh2009-07-071-3/+0
* Make record selectors into ordinary functionssimonpj@microsoft.com2009-01-021-21/+20
* Avoid nasty name clash with associated data types (fixes Trac #2888)simonpj@microsoft.com2008-12-301-1/+8
* Allow type families to use GADT syntax (and be GADTs)simonpj@microsoft.com2008-09-231-5/+7
* Comments only: replace ":=:" by "~" (notation for equality predicates)simonpj@microsoft.com2008-09-201-1/+1
* Remove dataConInstOrigDictsAndArgTyssimonpj@microsoft.com2008-09-101-5/+8
* Fix Trac #2412: type synonyms and hs-boot recursionsimonpj@microsoft.com2008-08-111-4/+5
* Remove a duplicate module import in BuildTyClIan Lynagh2008-05-041-1/+0
* Make BuildTyCl warning-freeIan Lynagh2008-05-041-8/+1
* Fix Trac #2238: do not use newtype for a class with equality predicatessimonpj@microsoft.com2008-04-281-9/+34
* Don't expose the unfolding of dictionary selectors without -Osimonpj@microsoft.com2008-03-061-4/+7
* Monadify iface/BuildTyCl: use returnTwan van Laarhoven2008-01-171-1/+1
* Improve handling of newtypes (fixes Trac 1495)simonpj@microsoft.com2007-12-211-38/+1
* Fix CodingStyle#Warnings URLsIan Lynagh2007-09-041-1/+1
* Use OPTIONS rather than OPTIONS_GHC for pragmasIan Lynagh2007-09-031-2/+2
* Add {-# OPTIONS_GHC -w #-} and some blurb to all compiler modulesIan Lynagh2007-09-011-0/+7
* Type checking for type synonym familiesManuel M T Chakravarty2007-08-281-27/+40
* Fix a bug in MatchCon, and clarify what dataConInstOrigArgTys doesLemmih2007-06-071-0/+2
* Remove the distinction between data and newtype familiesManuel M T Chakravarty2007-05-111-5/+2
* Warning fix for unused and redundant importsMichael D. Adams2007-05-101-1/+0
* Generating synonym instance representation tyconsManuel M T Chakravarty2007-04-251-32/+48
* Moved argument position info of ATs into tycon rhs infoManuel M T Chakravarty2007-02-231-3/+3
* Log message for: Fix a nasty recursive loop in typechecking interface filessimonpj@microsoft.com2007-01-111-1/+1
* Fix a nasty recursive loop in typechecking interface filessimonpj@microsoft.com2007-01-111-6/+8
* Module header tidyup, phase 1Simon Marlow2006-10-111-28/+15
* Remove Linear Implicit Parameters, and all their workssimonpj@microsoft.com2006-09-291-8/+6
* Re-work the newtype-deriving supportsimonpj@microsoft.com2006-09-231-18/+19
* Get of fam inst index in ifacesManuel M T Chakravarty2006-09-201-23/+14
* Straightened out implicit coercions for indexed typesManuel M T Chakravarty2006-09-201-7/+7
* Introduce coercions for data instance declsManuel M T Chakravarty2006-09-201-23/+51
* Extend TyCons and DataCons to represent data instance declsManuel M T Chakravarty2006-09-201-8/+23
* Extend Class.Class to include the TyCons of ATsManuel M T Chakravarty2006-09-201-4/+8
* Extended TyCon and friends to represent family declarationsManuel M T Chakravarty2006-09-201-9/+23
* fix bugs, add boolean flag to identify coercion variablesManuel M T Chakravarty2006-09-201-2/+11
* some bug-fixes, newtype deriving might work nowManuel M T Chakravarty2006-09-201-1/+1
View Lorry Controller Status