cmmTopCodeGen no longer takes DynFlags as an argument
[ghc-hetmet.git] / compiler / types /
2011-05-26 Jose Pedro MagalhaesMerge branch 'ghc-generics'
2011-05-26 Simon Peyton JonesMerge branch 'master' of
2011-05-26 Simon Peyton JonesTreat the (~) type constructor a bit specially
2011-05-25 Jose Pedro MagalhaesBetter output for -ddump-deriv when using generics.
2011-05-23 Jose Pedro MagalhaesRemove comment.
2011-05-20 Simon Peyton JonesSimon's fixes to the generated type instances in Generics
2011-05-12 Jose Pedro MagalhaesFix some small things broken with the last merge.
2011-05-12 Jose Pedro MagalhaesMerge branch 'master' of into...
2011-05-12 Simon Peyton JonesThe final batch of changes for the new coercion represe...
2011-05-09 Jose Pedro MagalhaesMake the errors for DeriveGeneric consistent with other...
2011-05-09 Jose Pedro MagalhaesImprove the error message when we cannot derive Generic.
2011-05-09 Jose Pedro MagalhaesRename `Representable0` to `Generic`.
2011-05-06 Simon Peyton JonesRemove special case for EqPred in CoreView
2011-05-04 Simon Peyton JonesBe cleverer in dataConCannotMatch, fixes Trac #5168
2011-05-04 Simon Peyton JonesMerge commit
2011-05-04 Jose Pedro MagalhaesAdd a new flag XDefaultSignatures to enable just the...
2011-05-03 Jose Pedro MagalhaesUse NoSelector when a constructor does not have fields.
2011-05-02 Jose Pedro MagalhaesRemove the hasGenerics field of TyCon, improve the...
2011-05-02 Simon Peyton JonesMerge in changes from HEAD
2011-05-02 Simon Peyton JonesA few more wibbles on ghc-new-co
2011-04-30 Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-29 Jose Pedro MagalhaesRemove some debug info left lying around.
2011-04-29 Jose Pedro MagalhaesGenerate Par0 when appropriate.
2011-04-28 Jose Pedro MagalhaesRemove a lot of stuff from the old generic mechanism.
2011-04-20 Simon Peyton JonesComment changes to satisfy Haddock
2011-04-20 Simon Peyton JonesMerge remote branch 'origin/master' into ghc-generics
2011-04-20 Simon Peyton JonesPretty-print type variables that are operators correctly
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-04-14 unknownSmall fixes to the generics branch to get rid of warnings,
2011-04-12 simonpjInitial commit for Pedro's new generic default methods
2011-03-31 simonpj@microsoft.comAdd a new static flag -fno-opt-coercion
2011-03-31 simonpj@microsoft.comNew statistics flags -ddump-core-stats
2011-03-02 simonpj@microsoft.comComments only
2011-02-17 simonpj@microsoft.comUse "on the spot" solving for fundeps
2011-01-19 simonpj@microsoft.comComments only
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-22 simonpj@microsoft.comMake mkDFunUnfolding more robust
2010-12-15 simonpj@microsoft.comTighten up what it means to be an "enumeration data...
2010-12-14 simonpj@microsoft.comInstance declaration overlap allowed if *either* has...
2010-12-14 simonpj@microsoft.comWibble to InstEnv.instanceHead
2010-12-13 simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-11-23 Ian LynaghRemove references to Haskell 98
2010-11-12 simonpj@microsoft.comA (final) re-engineering of the new typechecker
2010-10-19 simonpj@microsoft.comClean up the debugger code
2010-10-14 dimitris@microsoft.comMidstream changes for performance improvement related...
2010-10-15 simonpj@microsoft.comComments and layout
2010-10-07 simonpj@microsoft.comFix an ASSERT failure in FamInstEnv
2010-10-06 dimitris@microsoft.comMajor bugfixing pass through the type checker
2010-09-17 simonpj@microsoft.comMinor type printing amomaly
2010-09-16 simonpj@microsoft.comFix a very subtle shadowing bug in optCoercion
2010-09-16 simonpj@microsoft.comFix bad error in tyVarsOfType
2010-09-16 simonpj@microsoft.comMore assertions
2010-09-15 simonpj@microsoft.comRemove dead code dealing with type refinement
2010-09-15 simonpj@microsoft.comUse mkAppTy
2010-09-15 simonpj@microsoft.comImprove pretty-printing of family instances
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-09-02 simonpj@microsoft.comAssert
2010-08-18 simonpj@microsoft.comWibble
2010-08-18 simonpj@microsoft.comPretty printing change
2010-08-30 benl@ouroborus.netFix warning about multiply exported name
2010-08-30 benl@ouroborus.netVectorisation of method types
2010-08-13 simonpj@microsoft.comRe-do the arity calculation mechanism again (fix Trac...
2010-07-13 simonpj@microsoft.comComments on data type families
2010-07-07 simonpj@microsoft.comFix Trac #4127 (and hence #4173)
2010-06-14 simonpj@microsoft.comUse mkFunTy to ensure that invariants are respected
2010-06-04 simonpj@microsoft.comDon't use unnecessary parens when printing types (Fix...
2010-05-25 simonpj@microsoft.comRefactor (again) the handling of default methods
2010-04-17 simonpj@microsoft.comComments only (about type families)
2010-03-30 David WaernAdd Data and Typeable instances to HsSyn
2010-03-04 simonpj@microsoft.comMake `mkFunTy` associate to the right, as it should
2010-03-01 simonpj@microsoft.comImplement a smart constructor mkUnsafeCoercion, and...
2010-01-07 simonpj@microsoft.comSpelling error in comment
2009-12-24 simonpj@microsoft.comRefactor CoreArity a bit
2009-12-22 simonpj@microsoft.comMove isDictTy from TcType to Type
2010-01-04 simonpj@microsoft.comSubstantial improvements to coercion optimisation
2009-12-16 simonpj@microsoft.comComments only
2009-12-16 simonpj@microsoft.comTwo improvements to optCoercion
2009-12-16 simonpj@microsoft.comFix a long-standing infelicity in the type pretty printer
2009-12-16 simonpj@microsoft.comDeal with warnings in Coercion.lhs
2009-12-11 simonpj@microsoft.comUse full equality for CSE
2009-11-24 David WaernAdd a note saying what Haddock relies on about Instance...
2009-11-24 Ian LynaghTreat () as an enumeration tycon
2009-11-19 Roman LeshchinskiyFix splitAppTys
2009-11-12 simonpj@microsoft.comA radical overhaul of the coercion infrastucture
2009-11-08 tom.schrijvers@cs... more aggressive optimization of coercion terms
2009-11-06 simonpj@microsoft.comTidy up coercions, and implement csel1, csel2, cselR
2009-10-30 simonpj@microsoft.comImprove coercion optimisation
2009-10-28 tom.schrijvers@cs... fix and enable coercion optimization
2009-10-29 simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN...
2009-10-28 simonpj@microsoft.comTrivial improvement to mkForAllTy
2009-10-26 simonpj@microsoft.comAdd a coercion optimiser, to reduce the size of coercio...
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-10-02 simonpj@microsoft.comFix pretty-printing precedence for equality constraints
2009-08-18 Manuel M T ChakravartyFIX #3405
2009-08-13 simonpj@microsoft.comFix Trac #3409: type synonyms that discard their arguments
2009-07-23 simonpj@microsoft.comAdd tuple sections as a new feature