Fix scoped type variables for expression type signatures
[ghc-hetmet.git] / compiler / basicTypes /
2006-09-29 simonpj@microsoft.comRemove Linear Implicit Parameters, and all their works
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn
2006-09-23 simonpj@microsoft.comRemove ASSERT from mkDataCon, and add comments to expla...
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-20 Manuel M T ChakravartyFix type checking of imported data instances
2006-09-20 Manuel M T ChakravartyFix category of representation tycon
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 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 ChakravartyRemoved spurious + due to manual patching
2006-09-20 Manuel M T ChakravartyComments about datacon worker and wrappers
2006-09-20 Manuel M T ChakravartyFlip direction of newtype coercions, fix some comments
2006-09-20 Manuel M T ChakravartyChagne newtype wrapper into worker
2006-09-20 Manuel M T ChakravartyClean up unused imports, definitions and arguments
2006-09-20 Manuel M T ChakravartyFix assertion and default case for GADT record selectors
2006-09-20 Manuel M T Chakravartymake dataConInstPat take a list of FastStrings rather...
2006-09-20 Manuel M T ChakravartyJust clean-up, no functional changes
2006-09-20 Manuel M T ChakravartyGet rid of special case for Vanilla tycon record select...
2006-09-20 Manuel M T ChakravartyFix problem with selectors for GADT records with unboxe...
2006-09-20 Manuel M T ChakravartyMinor tidying up
2006-09-20 Manuel M T ChakravartyRemove bogus ASSERT from MkId
2006-09-20 Manuel M T Chakravartyfix default case filling-in for GADTs
2006-09-20 Manuel M T Chakravartyfixing record selectors
2006-09-20 Manuel M T ChakravartyGADT selector bugfix, bits of cleanup
2006-09-20 Manuel M T Chakravartyfix some GADT record selector bugs (still some remaining)
2006-09-20 Manuel M T ChakravartyMake data con wrappers for GADTs express the user type...
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 Chakravartyfixed bug in product unboxing
2006-09-20 Manuel M T Chakravartyfinished product unboxing through newtypes and proper...
2006-09-20 Manuel M T ChakravartyComment
2006-09-20 Manuel M T Chakravartytowards unboxing through newtypes
2006-09-20 Manuel M T Chakravartybugs
2006-09-20 Manuel M T Chakravartytowards newtype deriving dicts
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes...
2006-09-18 Manuel M T ChakravartyType tags in import/export lists
2006-09-18 Manuel M T ChakravartyDeriving Eq for OverlapFlag again
2006-09-18 Manuel M T ChakravartyGADT pattern matching fix
2006-09-18 Manuel M T ChakravartySimplify mkDataCon slightly
2006-09-18 Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-08-04 simonpj@microsoft.comComments only
2006-09-12 audreyt@audreyt.orgTake away XXXs in GADT records related code that are...
2006-09-11 simonpj@microsoft.comAdd comment
2006-09-07 simonpj@microsoft.comFix the handling of names in declaration brackets
2006-08-15 simonpj@microsoft.comMake UniqSM into a proper monad
2006-08-11 simonpj@microsoft.comImprove error message (imported from Prelude at Implici...
2006-08-11 Simon Marlowuse "Defined in" rather than "Imported from" when print...
2006-08-08 simonpj@microsoft.comRemove srcSpanStartLine/srcSpanEndLine crash
2006-07-28 Simon Marlow.hi-boot-5 is obsolete; the earliest GHC we support...
2006-07-28 Simon Marlowupdate to match .lhs-boot
2006-07-25 Simon MarlowUnbox the Unique stored in a Name
2006-07-25 Simon MarlowMake a SplitUniqSupply contain an Int# rather than...
2006-07-25 Simon MarlowGeneralise Package Support
2006-06-29 simonpj@microsoft.comRemove long-redundant FieldLabel.lhs
2006-06-24 simonpj@microsoft.comImprove RULE matching a bit more
2006-06-21 simonpj@microsoft.comArity and eta-expansion tuning
2006-05-25 simonpj@microsoft.comMake rule-matching robust to lets
2006-05-22 simonpj@microsoft.comAdd idHasRules
2006-05-17 simonpj@microsoft.comNewtype data constructors get a compulsory unfolding
2006-05-08 simonpj@microsoft.comRemove NOINLINE strictness hack
2006-04-20 Josef SvenningssonComments only
2006-04-14 simonpj@microsoft.comRecover gracefully from a Template Haskell programmers...
2006-04-07 Simon MarlowReorganisation of the source tree