Include the existential dictionaries in dataConOrigInstPat
[ghc.git] / compiler /
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
2006-09-20  Manuel M T Chakravartyfix some GADT record selector bugs (still some remaining)
2006-09-20  Manuel M T Chakravartyclean up Coercion kinding functions, rename coercionKin...
2006-09-20  Manuel M T ChakravartyBetter pretty printing for CoPat
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 Chakravartyfix out-of-scope vars
2006-09-20  Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-09-20  Manuel M T Chakravartybugs
2006-09-20  Manuel M T Chakravartysome bug-fixes, newtype deriving might work now
2006-09-20  Manuel M T Chakravartynewtype deriving still not working
2006-09-20  Manuel M T Chakravartynewtype deriving dicts, compiling at least
2006-09-20  Manuel M T Chakravarty..and a bit more
2006-09-20  Manuel M T ChakravartyMore on newtype deriving
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-20  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-09-20  Manuel M T ChakravartyRemove mi_package from moved pprModIface
2006-09-20  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-09-19  Manuel M T ChakravartyAdapt Simplify to conditional envs
2006-09-19  Manuel M T ChakravartyAdapt TcRnDriver to moved tyThingToIfaceDecl
2006-09-19  Manuel M T ChakravartyAdapt SimplUtils.getContArgs to conditional SubstEnv
2006-09-19  Manuel M T ChakravartyAdapt new SpecConstr functionality to GADT datacons
2006-09-18  Manuel M T ChakravartyType tags in import/export lists
2006-09-18  Manuel M T Chakravartycomment for getLocalDeclBinders
2006-09-18  Manuel M T ChakravartyCheck for repeated tyvars in AT family decls
2006-09-18  Manuel M T ChakravartyImprove pretty printing for indexed type decls
2006-09-18  Manuel M T ChakravartyUse family and instance keyword to identify indexed...
2006-09-18  Manuel M T ChakravartyRemove checkTopTypeD
2006-09-18  Manuel M T ChakravartyRemove argument variance info of tycons
2006-09-18  Manuel M T ChakravartyDon't lift ATs out of classes and instances before tc
2006-09-18  Manuel M T ChakravartyIndexed type defs are not declaring type names
2006-09-18  Manuel M T ChakravartyDeriving Eq for OverlapFlag again
2006-09-18  Manuel M T Chakravartyfix out-of-scope variable
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 ChakravartyPartial changes for derived newtype instances
2006-09-18  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-09-18  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-09-15  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-09-15  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-09-15  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-09-15  Manuel M T ChakravartyAdded error checks & fixed bugs
2006-09-15  Manuel M T ChakravartyFix class construction
2006-09-15  Manuel M T ChakravartyRenaming of indexed types
2006-09-15  Manuel M T ChakravartyRenaming of kind signatures (rnTySig)
2006-09-15  Manuel M T ChakravartyRevised kind signatures
2006-09-15  Manuel M T ChakravartyCleanup (re type function parsing)
2006-09-15  Manuel M T ChakravartyParser support for assoc synonyms
2006-09-15  Manuel M T ChakravartyFix migrated AT support
2006-09-15  Manuel M T ChakravartyMigrate cvs diff from fptools-assoc branch
2006-09-06  simonpj@microsoft.comComment on the commoning up of CoPats in Match
2006-09-06  simonpj@microsoft.comAdd comment for the invariant that DataAlt is never...
2006-09-04  simonpj@microsoft.comComments only
2006-08-09  simonpj@microsoft.comChange ASSERT to WARN
2006-08-07  Manuel M T ChakravartyOccName->FS in tyThingToIfaceDecl that moved to MkIface
2006-08-07  Manuel M T ChakravartyFix pattern w/o location in Check
2006-08-07  Manuel M T ChakravartyOccName->FS change over for equalities in GADTs
2006-08-07  Manuel M T ChakravartyComments only
2006-08-07  Manuel M T ChakravartyCorrect grevious bug in mkSymCoercion
2006-08-07  Manuel M T ChakravartyGADT tweaks
2006-08-07  Manuel M T ChakravartyConfigure changes to make testsuite work better on...
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 ChakravartyAdding TcGadt.lhs
2006-08-06  Manuel M T ChakravartyAdd a missing prime, to fix desugaring of CoPats
2006-08-06  Manuel M T ChakravartyComments and tidy-up
2006-08-06  Manuel M T ChakravartyFix a lint bug with coercions
2006-08-06  Manuel M T ChakravartyGADT fixes
2006-08-06  Manuel M T ChakravartyAdd CoPat stuff
2006-08-06  Manuel M T ChakravartyResolve conflict in MkExternalCore
next