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