Add more assertions
[ghc.git] / compiler / basicTypes / MkId.lhs
2007-05-02  simonpj@microsoft.comAdd more assertions
2007-05-02  simonpj@microsoft.comUse the record fields of IdInfo.RecordSelId
2007-05-02  simonpj@microsoft.comMake records work properly with type families
2007-05-02  simonpj@microsoft.comFixes to data type families
2007-04-22  simonpj@microsoft.comFixes to datacon wrappers for indexed data types
2007-04-17  Simon MarlowRe-working of the breakpoint support
2007-01-02  simonpj@microsoft.comBig tidy-up of deriving code
2006-12-13  andy@galois.comRemoving explicit Binary Tick Boxes; using Case instead.
2006-12-04  simonpj@microsoft.comComments only
2006-11-29  andy@galois.comTickBox representation change
2006-11-01  simonpj@microsoft.comComments only
2006-10-13  simonpj@microsoft.comChange type of TcGadt.refineType, plus consequences
2006-10-11  Simon MarlowModule header tidyup, phase 1
2006-10-11  Simon MarlowInterface file optimisation and removal of nameParent
2006-10-10  Manuel M T ChakravartyRemoved unused unwrapFamInstBody from MkId
2006-09-29  simonpj@microsoft.comGlobal renamings in HsSyn
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 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 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 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 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-07-25  Simon MarlowGeneralise Package Support
2006-05-17  simonpj@microsoft.comNewtype data constructors get a compulsory unfolding
2006-05-08  simonpj@microsoft.comRemove NOINLINE strictness hack
2006-04-07  Simon MarlowReorganisation of the source tree