| 2006-09-20 |
Manuel M T Chakravarty | Extend TyCons and DataCons to represent data instance... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Fix TcSplice after some type family related changes |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Make sure ATs are included into the temporary env for... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Extend Class.Class to include the TyCons of ATs |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Fix kind lookup in kcIdxTyPats |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Extended TyCon and friends to represent family declarations |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Kind and type checking of indexed types |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Another comment |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Add missing co_vars to tcIfaceDataAlt |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Comments only |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Small refactoring |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Missing change re additional info in TcTyThing |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Complete OccName->FS change in TcIface |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Missing imports in CoreUtils |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Removed spurious + due to manual patching |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Makefile comment |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Fix newtype deriving bug |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Include the existential dictionaries in dataConOrigInstPat |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Comments about datacon worker and wrappers |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Make newtype Coercion eta-contract if the tails of... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Flip direction of newtype coercions, fix some comments |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Chagne newtype wrapper into worker |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Clean up unused imports, definitions and arguments |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Fix assertion and default case for GADT record selectors |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | make dataConInstPat take a list of FastStrings rather... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Just clean-up, no functional changes |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Get rid of special case for Vanilla tycon record select... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Fix problem with selectors for GADT records with unboxe... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Make sym coercion smart constructor smarter, add comments |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Refactoring in TcGadt |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Add some invariant checking for refinements |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Minor tidying up |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Fix GADT refinement fix-pointing, add ASSERTs and a... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Remove bogus ASSERT from MkId |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Fix bug in type checking interface DataAlts |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | fix default case filling-in for GADTs |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | fix big-lambda eta expansion, add comments |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Fix Lint for alts involving shadowing of type variables... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Fix a couple of stage-2 bogosities |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | fixing record selectors |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | GADT selector bugfix, bits of cleanup |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | fix some GADT record selector bugs (still some remaining) |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | clean up Coercion kinding functions, rename coercionKin... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Better pretty printing for CoPat |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Make data con wrappers for GADTs express the user type... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Comments only |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | fix bugs, add boolean flag to identify coercion variables |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | fix some coercion kind representation things, extend... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | fixed bug in product unboxing |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | finished product unboxing through newtypes and proper... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Comment |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | towards unboxing through newtypes |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | fix out-of-scope vars |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Complete the evidence generation for GADTs |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | bugs |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | some bug-fixes, newtype deriving might work now |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | newtype deriving still not working |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | newtype 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 Chakravarty | More on newtype deriving |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | towards newtype deriving dicts |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | newtype fixes, coercions for non-recursive newtypes... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Remove mi_package from moved pprModIface |
tree | commitdiff |
| 2006-09-20 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
tree | commitdiff |
| 2006-09-19 |
Manuel M T Chakravarty | Adapt Simplify to conditional envs |
tree | commitdiff |
| 2006-09-19 |
Manuel M T Chakravarty | Adapt TcRnDriver to moved tyThingToIfaceDecl |
tree | commitdiff |
| 2006-09-19 |
Manuel M T Chakravarty | Adapt SimplUtils.getContArgs to conditional SubstEnv |
tree | commitdiff |
| 2006-09-19 |
Manuel M T Chakravarty | Adapt new SpecConstr functionality to GADT datacons |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Type tags in import/export lists |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | comment for getLocalDeclBinders |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Check for repeated tyvars in AT family decls |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Improve pretty printing for indexed type decls |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Use family and instance keyword to identify indexed... |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Remove checkTopTypeD |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Remove argument variance info of tycons |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Don't lift ATs out of classes and instances before tc |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Indexed type defs are not declaring type names |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Deriving Eq for OverlapFlag again |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | fix out-of-scope variable |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | GADT pattern matching fix |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Simplify mkDataCon slightly |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Partial changes for derived newtype instances |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
tree | commitdiff |
| 2006-09-18 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
tree | commitdiff |
| 2006-09-15 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
tree | commitdiff |
| 2006-09-15 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
tree | commitdiff |
| 2006-09-15 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
tree | commitdiff |
| 2006-09-15 |
Manuel M T Chakravarty | Added error checks & fixed bugs |
tree | commitdiff |
| 2006-09-15 |
Manuel M T Chakravarty | Fix class construction |
tree | commitdiff |
| 2006-09-15 |
Manuel M T Chakravarty | Renaming of indexed types |
tree | commitdiff |
| 2006-09-15 |
Manuel M T Chakravarty | Renaming of kind signatures (rnTySig) |
tree | commitdiff |
| 2006-09-15 |
Manuel M T Chakravarty | Revised kind signatures |
tree | commitdiff |
| 2006-09-15 |
Manuel M T Chakravarty | Cleanup (re type function parsing) |
tree | commitdiff |
| 2006-09-15 |
Manuel M T Chakravarty | Parser support for assoc synonyms |
tree | commitdiff |
| 2006-09-15 |
Manuel M T Chakravarty | Fix migrated AT support |
tree | commitdiff |
| 2006-09-15 |
Manuel M T Chakravarty | Migrate cvs diff from fptools-assoc branch |
tree | commitdiff |
| 2006-09-06 |
simonpj@microsoft.com | Comment on the commoning up of CoPats in Match |
tree | commitdiff |
| 2006-09-06 |
simonpj@microsoft.com | Add comment for the invariant that DataAlt is never... |
tree | commitdiff |
| 2006-09-04 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
| next |
projects / ghc-hetmet.git / history