Add first cut of the validate script
[ghc.git] / compiler / basicTypes /
2007-05-18  Michael D. AdamsAdded listSplitUniqSupply to ./compiler/basicTypes...
2007-06-27  Manuel M T ChakravartyFix names of coercions in newtype instances
2007-06-07  LemmihFix a bug in MatchCon, and clarify what dataConInstOrig...
2007-06-08  Manuel M T ChakravartyFix worker/wrapper ids for newtype instances
2007-05-11  Roman LeshchinskiyOccNames for closure conversion isomorphisms
2007-05-10  Roman LeshchinskiyModify generation of OccNames for closure conversion
2007-05-11  Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name
2007-05-09  Simon MarlowStore the constructor name in the info table in UTF-8
2007-05-01  Roman LeshchinskiyOccNames for closure conversion
2007-05-04  simonpj@microsoft.comWarning police
2007-05-03  simonpj@microsoft.comFix dependency information for RULES
2007-05-02  simonpj@microsoft.comImport fiddling
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-25  simonpj@microsoft.comImprove hashing of expressions for CSE (reduces warning...
2007-04-25  simonpj@microsoft.comFix comments about data constructors
2007-04-22  simonpj@microsoft.comFixes to datacon wrappers for indexed data types
2007-04-19  Pepe Iborraadd some DEBUG assertions
2007-04-18  Simon MarlowVarious cleanups and improvements to the breakpoint...
2007-04-17  Simon MarlowRe-working of the breakpoint support
2007-04-06  Ian LynaghRemove code that is dead, as we require __GLASGOW_HASKE...
2007-04-03  Ian LynaghFix C/Haskell type mismatches
2007-02-20  bjpop@csse.unimelb... Constructor names in info tables
2007-02-06  simonpj@microsoft.comExpose rnInScopeSet from VarEnv
2007-02-04  lennart@augustsson.netExport nameEnvUniqueElts, similar to nameEnvElts, but...
2007-01-29  Kirsten ChevalierTwo new warnings: arity differing from demand type...
2007-01-13  simonpj@microsoft.comFix an obscure bug in rule-matching
2007-01-10  simonpj@microsoft.comSort rules and instances lexicographically in interface...
2007-01-11  simonpj@microsoft.comSpelling correction only
2007-01-03  simonpj@microsoft.comFix several bugs related to finding free variables
2007-01-02  simonpj@microsoft.comBig tidy-up of deriving code
2006-12-29  Manuel M T ChakravartyConstruction of EqPred dictionaries
2006-12-13  andy@galois.comRemoving explicit Binary Tick Boxes; using Case instead.
2006-12-11  simonpj@microsoft.comAdd comments, plus fix zapFragileInfo to zap worker...
2006-12-04  simonpj@microsoft.comComments only
2006-11-29  andy@galois.comTickBox representation change
2006-11-28  Kirsten Chevalierretain arity for let-bound vars in simplifier
2006-11-25  Ian LynaghAdd some Outputable instances
2006-11-24  simonpj@microsoft.comUse existing Ord instance on Int, saving code
2006-11-24  simonpj@microsoft.comUse existing function uniqAway instead of duplicating...
2006-11-10  Samuel BronsonZap stray whitespace in lhs formatting
2006-11-08  Samuel BronsonDoc nit in OccName
2006-11-10  simonpj@microsoft.comPatch to demand analyser, to handle polymorphism in...
2006-11-02  simonpj@microsoft.comImprove handling of unused imports (test is mod75)
2006-11-01  simonpj@microsoft.comComments only
2006-11-01  simonpj@microsoft.comMake idInfo fail more informatively on TyVars
2006-10-20  Manuel M T ChakravartyFix processing of imports involving ATs with the new...
2006-10-13  simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar
2006-10-13  simonpj@microsoft.comChange type of TcGadt.refineType, plus consequences
2006-10-13  simonpj@microsoft.comMore refactoring in RnNames
2006-10-11  Simon MarlowModule header tidyup, phase 1
2006-10-11  Simon MarlowInterface file optimisation and removal of nameParent
2006-10-10  Simon Marlowadd extendNameEnvList_C
2006-10-10  Simon MarlowUse ":Co", not "Co" to prefix coercion TyCon names
2006-10-10  Manuel M T ChakravartyRemoved unused unwrapFamInstBody from MkId
2006-10-06  simonpj@microsoft.comImport trimming
2006-10-05  simonpj@microsoft.comTake 2 on the recursive-rule fix
2006-10-04  simonpj@microsoft.comFix comment in RdrName
2006-10-04  simonpj@microsoft.comTidy tyvar OccNames in TcTyClDecl
2006-10-04  simonpj@microsoft.comSecond bite at the rules-only idea
2006-10-03  simonpj@microsoft.comMake recursion and RULES interact better
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