rejig library include/ files
[ghc.git] / compiler /
2006-09-25  simonpj@microsoft.comFix newtype deriving properly (un-doing Audreys patch)
2006-09-24  audreyt@audreyt.orgComment-only: Fix a typo, and note that the PredTy...
2006-09-24  audreyt@audreyt.orgIn tcSplittyConApp_maybe, add the PredTy case
2006-09-23  simonpj@microsoft.comTrim more imports
2006-09-23  simonpj@microsoft.comFix origin for addDataConStupidTheta
2006-09-23  simonpj@microsoft.comRemove ASSERT from mkDataCon, and add comments to expla...
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.comAdd TcRnMonad.newSysLocalIds, and use it
2006-09-23  simonpj@microsoft.comRemove dead code concerning coercions from TypeRep
2006-09-23  simonpj@microsoft.comMove snocView in the file, nearer the other spliting...
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-22  simonpj@microsoft.comImprove specialisation in SpecConstr
2006-09-22  simonpj@microsoft.comRemove duplicate call to getDOpts
2006-09-22  simonpj@microsoft.comRemove use of isVanillaDataCon, which was wrong under...
2006-09-22  simonpj@microsoft.comTrim imports, reformatting
2006-09-22  simonpj@microsoft.comAdd a crucial missing prime in tcConPat
2006-09-23  audreyt@audreyt.orgIn ByteCodeGen, correctly passthru AnnCast in all relev...
2006-09-23  audreyt@audreyt.orgAdd explicit eta-reduction to GHCI's schemeE such that...
2006-09-22  audreyt@audreyt.orgRepair "ghci" under FC+AT by handling AnnCast in byteco...
2006-09-21  Manuel M T ChakravartyFix Linker import when BREAKPOINT is off
2006-09-21  Manuel M T ChakravartyExtend IfaceSyn.eqIfTc to cover type kind variants...
2006-09-21  Don StewartUse --export-dynamic to ensure ghci works on newer...
2006-09-21* TypeRep.lhs and TypeRep.lhs-boot didn't agree on...
2006-09-21* Fix stray comma in HsTypes.lhs's import line.
2006-09-20  Manuel M T ChakravartyCorrect substitution into theta types (after merge) After_FC_branch_merge
2006-09-20  Manuel M T ChakravartyFix import list of TcTyClsDecls after merge
2006-09-20  Manuel M T ChakravartyAdding FamInstEnv & FamInst modules
2006-09-20  Manuel M T ChakravartyAdapt FC-code in TcUnify to pre-subsumption
2006-09-20  Manuel M T ChakravartySome more ASSERTs
2006-09-20  Manuel M T ChakravartySPJ's fix to resolve conflict in instFun
2006-09-20  Manuel M T ChakravartyAdjust code from manual merges
2006-09-20  Manuel M T ChakravartyAdapt TcFix imports
2006-09-20  Manuel M T ChakravartyBasic set up for global family instance environment
2006-09-20  Manuel M T ChakravartyImport/export of data constructors in family instances
2006-09-20  Manuel M T ChakravartyUse smart lookup for tycons
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 ChakravartyOption -findexed-types
2006-09-20  Manuel M T ChakravartyGet of fam inst index in ifaces
2006-09-20  Manuel M T ChakravartyClean up and refactor in SimplUtils.mkCase1 (identity...
2006-09-20  Manuel M T ChakravartyATs are now implicitTyThings
2006-09-20  Manuel M T ChakravartyStraightened out implicit coercions for indexed types
2006-09-20  Manuel M T ChakravartyFixed two bugs concerning fanilies
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 ChakravartyBetter error message for indexes that must be variables
2006-09-20  Manuel M T ChakravartyChecking conformance of AT indexes with instance heads
2006-09-20  Manuel M T ChakravartyWarn of missing ATs and complain about bad ATs
2006-09-20  Manuel M T ChakravartyCheck that AT instance is in a class
2006-09-20  Manuel M T ChakravartyKind sig for toplevel family decls is optional
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 ChakravartyFixed two data family bugs
2006-09-20  Manuel M T ChakravartyFix the tyvars used for data con signatures
2006-09-20  Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance...
2006-09-20  Manuel M T ChakravartyFix TcSplice after some type family related changes
2006-09-20  Manuel M T ChakravartyMake sure ATs are included into the temporary env for...
2006-09-20  Manuel M T ChakravartyExtend Class.Class to include the TyCons of ATs
2006-09-20  Manuel M T ChakravartyFix kind lookup in kcIdxTyPats
2006-09-20  Manuel M T ChakravartyExtended TyCon and friends to represent family declarations
2006-09-20  Manuel M T ChakravartyKind and type checking of indexed types
2006-09-20  Manuel M T ChakravartyAnother comment
2006-09-20  Manuel M T ChakravartyAdd missing co_vars to tcIfaceDataAlt
2006-09-20  Manuel M T ChakravartyComments only
2006-09-20  Manuel M T ChakravartySmall refactoring
2006-09-20  Manuel M T ChakravartyMissing change re additional info in TcTyThing
2006-09-20  Manuel M T ChakravartyComplete OccName->FS change in TcIface
2006-09-20  Manuel M T ChakravartyMissing imports in CoreUtils
2006-09-20  Manuel M T ChakravartyRemoved spurious + due to manual patching
2006-09-20  Manuel M T ChakravartyMakefile comment
2006-09-20  Manuel M T ChakravartyFix newtype deriving bug
2006-09-20  Manuel M T ChakravartyInclude the existential dictionaries in dataConOrigInstPat
2006-09-20  Manuel M T ChakravartyComments about datacon worker and wrappers
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 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 ChakravartyMake sym coercion smart constructor smarter, add comments
2006-09-20  Manuel M T ChakravartyRefactoring in TcGadt
2006-09-20  Manuel M T ChakravartyAdd some invariant checking for refinements
2006-09-20  Manuel M T ChakravartyMinor tidying up
2006-09-20  Manuel M T ChakravartyFix GADT refinement fix-pointing, add ASSERTs and a...
2006-09-20  Manuel M T ChakravartyRemove bogus ASSERT from MkId
2006-09-20  Manuel M T ChakravartyFix bug in type checking interface DataAlts
2006-09-20  Manuel M T Chakravartyfix default case filling-in for GADTs
2006-09-20  Manuel M T Chakravartyfix big-lambda eta expansion, add comments
2006-09-20  Manuel M T ChakravartyFix Lint for alts involving shadowing of type variables...
2006-09-20  Manuel M T ChakravartyFix a couple of stage-2 bogosities
2006-09-20  Manuel M T Chakravartyfixing record selectors
2006-09-20  Manuel M T ChakravartyGADT selector bugfix, bits of cleanup