projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Big tidy-up of deriving code
[ghc-hetmet.git] / compiler / types /
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code tree | commitdiff
2006-12-29 Manuel M T ChakravartyEqPred pretty prints as ~ and equalities without brackets tree | commitdiff
2006-12-18 Manuel M T ChakravartyDeriving for indexed data types tree | commitdiff
2006-12-10 Pepe IborraClosure inspection in GHCi tree | commitdiff
2006-11-24 simonpj@microsoft.comImprove handling of implicit parameters tree | commitdiff
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference tree | commitdiff
2006-11-10 simonpj@microsoft.comCosmetics and debug printing only tree | commitdiff
2006-11-06 simonpj@microsoft.comTidy up substitutions tree | commitdiff
2006-11-01 simonpj@microsoft.comComments and layout only tree | commitdiff
2006-11-01 simonpj@microsoft.comRemove unused import tree | commitdiff
2006-10-19 Manuel M T ChakravartyFix family instance bug due to the name parent elimination tree | commitdiff
2006-10-19 Ian LynaghFix stage1 build with 6.2.1 (from Andy Gill) tree | commitdiff
2006-10-18 simonpj@microsoft.comAdd the primitive type Any, and use it for Dynamics tree | commitdiff
2006-10-18 simonpj@microsoft.comAdd comment about arity tree | commitdiff
2006-10-13 simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar tree | commitdiff
2006-10-12 Manuel M T ChakravartyOverlap check for family instances def'd in current... tree | commitdiff
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build tree | commitdiff
2006-10-11 Simon MarlowInterface file optimisation and removal of nameParent tree | commitdiff
2006-10-10 Manuel M T ChakravartyRough matches for family instances tree | commitdiff
2006-10-09 Ian LynaghUpdate hi-boot files to fix building with old GHCs tree | commitdiff
2006-10-06 simonpj@microsoft.comComments and an import-trim tree | commitdiff
2006-10-06 simonpj@microsoft.comImport trimming tree | commitdiff
2006-09-29 simonpj@microsoft.comSimplify the way in which the coKindFun in CoercionTyCo... tree | commitdiff
2006-09-29 simonpj@microsoft.comSpelling correction tree | commitdiff
2006-09-14 Andres Loehfix typo in comment tree | commitdiff
2006-09-23 simonpj@microsoft.comThe unboxed tuple kind is (#), not (##) tree | commitdiff
2006-09-23 simonpj@microsoft.comComplete definition of cmPredX to take account of EqPred tree | commitdiff
2006-09-23 simonpj@microsoft.comCorrect crucial typo in isSubKind (kc1 -> kc2)! tree | commitdiff
2006-09-23 simonpj@microsoft.comRe-work the newtype-deriving support tree | commitdiff
2006-09-23 simonpj@microsoft.comRemove dead code concerning coercions from TypeRep tree | commitdiff
2006-09-23 simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it tree | commitdiff
2006-09-23 simonpj@microsoft.comTrim imports, and remove some dead code tree | commitdiff
2006-09-21 audreyt@audreyt.org* TypeRep.lhs and TypeRep.lhs-boot didn't agree on... tree | commitdiff
2006-09-20 Manuel M T ChakravartyAdding FamInstEnv & FamInst modules tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix type checking of imported data instances tree | commitdiff
2006-09-20 Manuel M T ChakravartyGet of fam inst index in ifaces tree | commitdiff
2006-09-20 Manuel M T ChakravartyStraightened out implicit coercions for indexed types tree | commitdiff
2006-09-20 Manuel M T ChakravartyIndexed newtypes tree | commitdiff
2006-09-20 Manuel M T ChakravartyCheck category of type instances and some newtype famil... tree | commitdiff
2006-09-20 Manuel M T ChakravartyChecking conformance of AT indexes with instance heads tree | commitdiff
2006-09-20 Manuel M T ChakravartyCheck that AT instance is in a class tree | commitdiff
2006-09-20 Manuel M T ChakravartyFixed bug in coercion for indexed data types tree | commitdiff
2006-09-20 Manuel M T ChakravartyPattern matching of indexed data types tree | commitdiff
2006-09-20 Manuel M T ChakravartyIntroduce coercions for data instance decls tree | commitdiff
2006-09-20 Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance... tree | commitdiff
2006-09-20 Manuel M T ChakravartyExtend Class.Class to include the TyCons of ATs tree | commitdiff
2006-09-20 Manuel M T ChakravartyExtended TyCon and friends to represent family declarations tree | commitdiff
2006-09-20 Manuel M T ChakravartyComments only tree | commitdiff
2006-09-20 Manuel M T ChakravartyMake newtype Coercion eta-contract if the tails of... tree | commitdiff
2006-09-20 Manuel M T ChakravartyFlip direction of newtype coercions, fix some comments tree | commitdiff
2006-09-20 Manuel M T ChakravartyMake sym coercion smart constructor smarter, add comments tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix GADT refinement fix-pointing, add ASSERTs and a... tree | commitdiff
2006-09-20 Manuel M T ChakravartyComments only tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix bugs, add boolean flag to identify coercion variables tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix some coercion kind representation things, extend... tree | commitdiff
2006-09-20 Manuel M T Chakravartytowards unboxing through newtypes tree | commitdiff
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs tree | commitdiff
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes... tree | commitdiff
2006-09-18 Manuel M T ChakravartyRemove argument variance info of tycons tree | commitdiff
2006-09-18 Manuel M T ChakravartyPartial changes for derived newtype instances tree | commitdiff
2006-08-07 Manuel M T ChakravartyComments only tree | commitdiff
2006-08-07 Manuel M T ChakravartyCorrect grevious bug in mkSymCoercion tree | commitdiff
2006-08-06 Manuel M T ChakravartyRemove Control-M from Coercion.hs tree | commitdiff
2006-08-06 Manuel M T ChakravartyAdd Coercion.lhs tree | commitdiff
2006-08-06 Manuel M T ChakravartyComments and tidy-up tree | commitdiff
2006-08-06 Manuel M T ChakravartyGADT fixes tree | commitdiff
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-09-18 simonpj@microsoft.comComments tree | commitdiff
2006-08-18 simonpj@microsoft.comBetter pretty-printing for TvSubst tree | commitdiff
2006-08-15 simonpj@microsoft.comReject derivable type classes with higher-rank methods tree | commitdiff
2006-07-28 Simon Marlow.hi-boot-5 is obsolete; the earliest GHC we support... tree | commitdiff
2006-07-14 simonpj@microsoft.comCheck for overlap-flag differences in hi files tree | commitdiff
2006-06-23 Simon Marlowthe unlifted kind tree | commitdiff
2006-05-17 simonpj@microsoft.comWhite space only tree | commitdiff
2006-04-12 simonpj@microsoft.comImprove pruning of case alternatives to account for... tree | commitdiff
2006-04-07 Simon MarlowReorganisation of the source tree tree | commitdiff
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)