Make assignTemp_ less pessimistic
[ghc-hetmet.git] / compiler / types / TyCon.lhs
2011-05-12 Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-02 Jose Pedro MagalhaesRemove the hasGenerics field of TyCon, improve the...
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-04-12 simonpjInitial commit for Pedro's new generic default methods
2011-03-02 simonpj@microsoft.comComments only
2010-12-15 simonpj@microsoft.comTighten up what it means to be an "enumeration data...
2010-09-14 simonpj@microsoft.comComment on what an "enumeration" type is
2010-09-13 simonpj@microsoft.comHaddock fixes
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-09-03 simonpj@microsoft.comComments and layout
2010-07-13 simonpj@microsoft.comComments on data type families
2010-04-17 simonpj@microsoft.comComments only (about type families)
2010-03-30 David WaernAdd Data and Typeable instances to HsSyn
2010-01-07 simonpj@microsoft.comSpelling error in comment
2010-01-04 simonpj@microsoft.comSubstantial improvements to coercion optimisation
2009-11-24 Ian LynaghTreat () as an enumeration tycon
2009-11-12 simonpj@microsoft.comA radical overhaul of the coercion infrastucture
2009-10-15 simonpj@microsoft.comFix Trac #959: a long-standing bug in instantiating...
2009-10-08 simonpj@microsoft.comMake tyConSingleDataCon_maybe more forgiving
2009-06-22 Simon Marlowfix comment
2009-05-12 simonpj@microsoft.comImprove error messages for type functions
2009-03-30 simonpj@microsoft.comFix an nasty black hole, concerning computation of...
2009-03-16 simonpj@microsoft.comLayout only
2009-01-02 simonpj@microsoft.comMake record selectors into ordinary functions
2008-12-30 simonpj@microsoft.comAvoid nasty name clash with associated data types ...
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal...
2008-08-07 Ian LynaghFix errors with haddock 0.8
2008-07-31 Max BolingbrokeDocument TyCon
2008-07-31 Max BolingbrokeRename maybeTyConSingleCon to tyConSingleDataCon_maybe
2008-03-25 Tim ChevalierChange syntax for newtypes in External Core
2008-02-04 Simon MarlowSupport for using libffi to implement FFI calls in...
2008-01-26 Twan van LaarhovenFixed warnings in types/TyCon
2007-12-21 simonpj@microsoft.comImprove handling of newtypes (fixes Trac 1495)
2007-11-05 simonpj@microsoft.comComment warning about transparent newtypes
2007-10-16 simonpj@microsoft.comEliminate over-zealous warning in CoreToStg
2007-09-29 simonpj@microsoft.comSmall comment only
2007-09-05 simonpj@microsoft.comRefactor, improve, and document the deriving mechanism
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil...
2007-08-28 Manuel M T ChakravartyType checking for type synonym families
2007-08-09 simonpj@microsoft.comTidy up the treatment of newtypes, refactor, and fix...
2007-08-04 simonpj@microsoft.comAdd missing case to sizeofPrimRep
2007-05-19 Pepe IborraRewrite the unsafe code dealing with unboxed primitives...
2007-05-11 Manuel M T ChakravartyRemove the distinction between data and newtype families
2007-05-04 simonpj@microsoft.comisDataTyCon should be False for all type families,...
2007-05-02 simonpj@microsoft.comFixes to data type families
2007-04-25 Manuel M T ChakravartyGenerating synonym instance representation tycons
2007-04-22 simonpj@microsoft.comFixes to datacon wrappers for indexed data types
2007-02-23 Manuel M T ChakravartyMoved argument position info of ATs into tycon rhs...
2007-01-10 Manuel M T ChakravartycheckTauTvUpdate: take synonym families into account
2007-01-03 simonpj@microsoft.comComments only
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code
2006-10-19 Manuel M T ChakravartyFix family instance bug due to the name parent elimination
2006-10-18 simonpj@microsoft.comAdd the primitive type Any, and use it for Dynamics
2006-10-18 simonpj@microsoft.comAdd comment about arity
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build
2006-10-11 Simon MarlowInterface file optimisation and removal of nameParent
2006-09-29 simonpj@microsoft.comSimplify the way in which the coKindFun in CoercionTyCo...
2006-09-23 simonpj@microsoft.comTrim imports, and remove some dead code
2006-09-20 Manuel M T ChakravartyFix type checking of imported data instances
2006-09-20 Manuel M T ChakravartyGet of fam inst index in ifaces
2006-09-20 Manuel M T ChakravartyStraightened out implicit coercions for indexed types
2006-09-20 Manuel M T ChakravartyIndexed newtypes
2006-09-20 Manuel M T ChakravartyCheck category of type instances and some newtype famil...
2006-09-20 Manuel M T ChakravartyChecking conformance of AT indexes with instance heads
2006-09-20 Manuel M T ChakravartyCheck that AT instance is in a class
2006-09-20 Manuel M T ChakravartyIntroduce coercions for data instance decls
2006-09-20 Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance...
2006-09-20 Manuel M T ChakravartyExtended TyCon and friends to represent family declarations
2006-09-20 Manuel M T ChakravartyMake newtype Coercion eta-contract if the tails of...
2006-09-20 Manuel M T ChakravartyFlip direction of newtype coercions, fix some comments
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes...
2006-09-18 Manuel M T ChakravartyRemove argument variance info of tycons
2006-09-18 Manuel M T ChakravartyPartial changes for derived newtype instances
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-05-17 simonpj@microsoft.comWhite space only
2006-04-07 Simon MarlowReorganisation of the source tree