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