Fix scoped type variables for expression type signatures
[ghc-hetmet.git] / compiler / types /
2006-09-29 simonpj@microsoft.comSimplify the way in which the coKindFun in CoercionTyCo...
2006-09-29 simonpj@microsoft.comSpelling correction
2006-09-14 Andres Loehfix typo in comment
2006-09-23 simonpj@microsoft.comThe unboxed tuple kind is (#), not (##)
2006-09-23 simonpj@microsoft.comComplete definition of cmPredX to take account of EqPred
2006-09-23 simonpj@microsoft.comCorrect crucial typo in isSubKind (kc1 -> kc2)!
2006-09-23 simonpj@microsoft.comRe-work the newtype-deriving support
2006-09-23 simonpj@microsoft.comRemove dead code concerning coercions from TypeRep
2006-09-23 simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it
2006-09-23 simonpj@microsoft.comTrim imports, and remove some dead code
2006-09-21 audreyt@audreyt.org* TypeRep.lhs and TypeRep.lhs-boot didn't agree on...
2006-09-20 Manuel M T ChakravartyAdding FamInstEnv & FamInst modules
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 ChakravartyFixed bug in coercion for indexed data types
2006-09-20 Manuel M T ChakravartyPattern matching of indexed data types
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 ChakravartyExtend Class.Class to include the TyCons of ATs
2006-09-20 Manuel M T ChakravartyExtended TyCon and friends to represent family declarations
2006-09-20 Manuel M T ChakravartyComments only
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 ChakravartyMake sym coercion smart constructor smarter, add comments
2006-09-20 Manuel M T ChakravartyFix GADT refinement fix-pointing, add ASSERTs and a...
2006-09-20 Manuel M T ChakravartyComments only
2006-09-20 Manuel M T Chakravartyfix bugs, add boolean flag to identify coercion variables
2006-09-20 Manuel M T Chakravartyfix some coercion kind representation things, extend...
2006-09-20 Manuel M T Chakravartytowards unboxing through newtypes
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs
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-07 Manuel M T ChakravartyComments only
2006-08-07 Manuel M T ChakravartyCorrect grevious bug in mkSymCoercion
2006-08-06 Manuel M T ChakravartyRemove Control-M from Coercion.hs
2006-08-06 Manuel M T ChakravartyAdd Coercion.lhs
2006-08-06 Manuel M T ChakravartyComments and tidy-up
2006-08-06 Manuel M T ChakravartyGADT fixes
2006-08-04 Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-09-18 simonpj@microsoft.comComments
2006-08-18 simonpj@microsoft.comBetter pretty-printing for TvSubst
2006-08-15 simonpj@microsoft.comReject derivable type classes with higher-rank methods
2006-07-28 Simon Marlow.hi-boot-5 is obsolete; the earliest GHC we support...
2006-07-14 simonpj@microsoft.comCheck for overlap-flag differences in hi files
2006-06-23 Simon Marlowthe unlifted kind
2006-05-17 simonpj@microsoft.comWhite space only
2006-04-12 simonpj@microsoft.comImprove pruning of case alternatives to account for...
2006-04-07 Simon MarlowReorganisation of the source tree