projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Basic set up for global family instance environment
[ghc-hetmet.git] / compiler /
2006-09-20 Manuel M T ChakravartyBasic set up for global family instance environment tree | commitdiff
2006-09-20 Manuel M T ChakravartyImport/export of data constructors in family instances tree | commitdiff
2006-09-20 Manuel M T ChakravartyUse smart lookup for tycons tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix type checking of imported data instances tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix category of representation tycon tree | commitdiff
2006-09-20 Manuel M T ChakravartyOption -findexed-types tree | commitdiff
2006-09-20 Manuel M T ChakravartyGet of fam inst index in ifaces tree | commitdiff
2006-09-20 Manuel M T ChakravartyClean up and refactor in SimplUtils.mkCase1 (identity... tree | commitdiff
2006-09-20 Manuel M T ChakravartyATs are now implicitTyThings tree | commitdiff
2006-09-20 Manuel M T ChakravartyStraightened out implicit coercions for indexed types tree | commitdiff
2006-09-20 Manuel M T ChakravartyFixed two bugs concerning fanilies tree | commitdiff
2006-09-20 Manuel M T ChakravartyIndexed newtypes tree | commitdiff
2006-09-20 Manuel M T ChakravartyCheck category of type instances and some newtype famil... tree | commitdiff
2006-09-20 Manuel M T ChakravartyBetter error message for indexes that must be variables tree | commitdiff
2006-09-20 Manuel M T ChakravartyChecking conformance of AT indexes with instance heads tree | commitdiff
2006-09-20 Manuel M T ChakravartyWarn of missing ATs and complain about bad ATs tree | commitdiff
2006-09-20 Manuel M T ChakravartyCheck that AT instance is in a class tree | commitdiff
2006-09-20 Manuel M T ChakravartyKind sig for toplevel family decls is optional tree | commitdiff
2006-09-20 Manuel M T ChakravartyFixed bug in coercion for indexed data types tree | commitdiff
2006-09-20 Manuel M T ChakravartyPattern matching of indexed data types tree | commitdiff
2006-09-20 Manuel M T ChakravartyIntroduce coercions for data instance decls tree | commitdiff
2006-09-20 Manuel M T ChakravartyFixed two data family bugs tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix the tyvars used for data con signatures tree | commitdiff
2006-09-20 Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance... tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix TcSplice after some type family related changes tree | commitdiff
2006-09-20 Manuel M T ChakravartyMake sure ATs are included into the temporary env for... tree | commitdiff
2006-09-20 Manuel M T ChakravartyExtend Class.Class to include the TyCons of ATs tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix kind lookup in kcIdxTyPats tree | commitdiff
2006-09-20 Manuel M T ChakravartyExtended TyCon and friends to represent family declarations tree | commitdiff
2006-09-20 Manuel M T ChakravartyKind and type checking of indexed types tree | commitdiff
2006-09-20 Manuel M T ChakravartyAnother comment tree | commitdiff
2006-09-20 Manuel M T ChakravartyAdd missing co_vars to tcIfaceDataAlt tree | commitdiff
2006-09-20 Manuel M T ChakravartyComments only tree | commitdiff
2006-09-20 Manuel M T ChakravartySmall refactoring tree | commitdiff
2006-09-20 Manuel M T ChakravartyMissing change re additional info in TcTyThing tree | commitdiff
2006-09-20 Manuel M T ChakravartyComplete OccName->FS change in TcIface tree | commitdiff
2006-09-20 Manuel M T ChakravartyMissing imports in CoreUtils tree | commitdiff
2006-09-20 Manuel M T ChakravartyRemoved spurious + due to manual patching tree | commitdiff
2006-09-20 Manuel M T ChakravartyMakefile comment tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix newtype deriving bug tree | commitdiff
2006-09-20 Manuel M T ChakravartyInclude the existential dictionaries in dataConOrigInstPat tree | commitdiff
2006-09-20 Manuel M T ChakravartyComments about datacon worker and wrappers tree | commitdiff
2006-09-20 Manuel M T ChakravartyMake newtype Coercion eta-contract if the tails of... tree | commitdiff
2006-09-20 Manuel M T ChakravartyFlip direction of newtype coercions, fix some comments tree | commitdiff
2006-09-20 Manuel M T ChakravartyChagne newtype wrapper into worker tree | commitdiff
2006-09-20 Manuel M T ChakravartyClean up unused imports, definitions and arguments tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix assertion and default case for GADT record selectors tree | commitdiff
2006-09-20 Manuel M T Chakravartymake dataConInstPat take a list of FastStrings rather... tree | commitdiff
2006-09-20 Manuel M T ChakravartyJust clean-up, no functional changes tree | commitdiff
2006-09-20 Manuel M T ChakravartyGet rid of special case for Vanilla tycon record select... tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix problem with selectors for GADT records with unboxe... tree | commitdiff
2006-09-20 Manuel M T ChakravartyMake sym coercion smart constructor smarter, add comments tree | commitdiff
2006-09-20 Manuel M T ChakravartyRefactoring in TcGadt tree | commitdiff
2006-09-20 Manuel M T ChakravartyAdd some invariant checking for refinements tree | commitdiff
2006-09-20 Manuel M T ChakravartyMinor tidying up tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix GADT refinement fix-pointing, add ASSERTs and a... tree | commitdiff
2006-09-20 Manuel M T ChakravartyRemove bogus ASSERT from MkId tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix bug in type checking interface DataAlts tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix default case filling-in for GADTs tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix big-lambda eta expansion, add comments tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix Lint for alts involving shadowing of type variables... tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix a couple of stage-2 bogosities tree | commitdiff
2006-09-20 Manuel M T Chakravartyfixing record selectors tree | commitdiff
2006-09-20 Manuel M T ChakravartyGADT selector bugfix, bits of cleanup tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix some GADT record selector bugs (still some remaining) tree | commitdiff
2006-09-20 Manuel M T Chakravartyclean up Coercion kinding functions, rename coercionKin... tree | commitdiff
2006-09-20 Manuel M T ChakravartyBetter pretty printing for CoPat tree | commitdiff
2006-09-20 Manuel M T ChakravartyMake data con wrappers for GADTs express the user type... tree | commitdiff
2006-09-20 Manuel M T ChakravartyComments only tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix bugs, add boolean flag to identify coercion variables tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix some coercion kind representation things, extend... tree | commitdiff
2006-09-20 Manuel M T Chakravartyfixed bug in product unboxing tree | commitdiff
2006-09-20 Manuel M T Chakravartyfinished product unboxing through newtypes and proper... tree | commitdiff
2006-09-20 Manuel M T ChakravartyComment tree | commitdiff
2006-09-20 Manuel M T Chakravartytowards unboxing through newtypes tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix out-of-scope vars tree | commitdiff
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs tree | commitdiff
2006-09-20 Manuel M T Chakravartybugs tree | commitdiff
2006-09-20 Manuel M T Chakravartysome bug-fixes, newtype deriving might work now tree | commitdiff
2006-09-20 Manuel M T Chakravartynewtype deriving still not working tree | commitdiff
2006-09-20 Manuel M T Chakravartynewtype deriving dicts, compiling at least tree | commitdiff
2006-09-20 Manuel M T Chakravarty..and a bit more tree | commitdiff
2006-09-20 Manuel M T ChakravartyMore on newtype deriving tree | commitdiff
2006-09-20 Manuel M T Chakravartytowards newtype deriving dicts tree | commitdiff
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes... tree | commitdiff
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-09-20 Manuel M T ChakravartyRemove mi_package from moved pprModIface tree | commitdiff
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-09-19 Manuel M T ChakravartyAdapt Simplify to conditional envs tree | commitdiff
2006-09-19 Manuel M T ChakravartyAdapt TcRnDriver to moved tyThingToIfaceDecl tree | commitdiff
2006-09-19 Manuel M T ChakravartyAdapt SimplUtils.getContArgs to conditional SubstEnv tree | commitdiff
2006-09-19 Manuel M T ChakravartyAdapt new SpecConstr functionality to GADT datacons tree | commitdiff
2006-09-18 Manuel M T ChakravartyType tags in import/export lists tree | commitdiff
2006-09-18 Manuel M T Chakravartycomment for getLocalDeclBinders tree | commitdiff
2006-09-18 Manuel M T ChakravartyCheck for repeated tyvars in AT family decls tree | commitdiff
2006-09-18 Manuel M T ChakravartyImprove pretty printing for indexed type decls tree | commitdiff
2006-09-18 Manuel M T ChakravartyUse family and instance keyword to identify indexed... tree | commitdiff
2006-09-18 Manuel M T ChakravartyRemove checkTopTypeD tree | commitdiff
2006-09-18 Manuel M T ChakravartyRemove argument variance info of tycons tree | commitdiff
2006-09-18 Manuel M T ChakravartyDon't lift ATs out of classes and instances before tc tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)