| 2006-09-20 |
Manuel M T Chakravarty | Add some invariant checking for refinements
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Minor tidying up
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Fix GADT refinement fix-pointing, add ASSERTs and a...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Remove bogus ASSERT from MkId
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Fix bug in type checking interface DataAlts
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | fix default case filling-in for GADTs
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | fix big-lambda eta expansion, add comments
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Fix Lint for alts involving shadowing of type variables...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Fix a couple of stage-2 bogosities
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | fixing record selectors
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | GADT selector bugfix, bits of cleanup
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | fix some GADT record selector bugs (still some remaining)
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | clean up Coercion kinding functions, rename coercionKindTyConApp
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Better pretty printing for CoPat
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Make data con wrappers for GADTs express the user type...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Comments only
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | fix bugs, add boolean flag to identify coercion variables
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | fix some coercion kind representation things, extend...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | fixed bug in product unboxing
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | finished product unboxing through newtypes and proper...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Comment
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | towards unboxing through newtypes
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | fix out-of-scope vars
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Complete the evidence generation for GADTs
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | bugs
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | some bug-fixes, newtype deriving might work now
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | newtype deriving still not working
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | newtype deriving dicts, compiling at least
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | ..and a bit more
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | More on newtype deriving
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | towards newtype deriving dicts
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | newtype fixes, coercions for non-recursive newtypes...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Remove mi_package from moved pprModIface
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-20 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-19 |
Manuel M T Chakravarty | Adapt Simplify to conditional envs
|
commit | commitdiff | tree |
| 2006-09-19 |
Manuel M T Chakravarty | Adapt TcRnDriver to moved tyThingToIfaceDecl
|
commit | commitdiff | tree |
| 2006-09-19 |
Manuel M T Chakravarty | Adapt SimplUtils.getContArgs to conditional SubstEnv
|
commit | commitdiff | tree |
| 2006-09-19 |
Manuel M T Chakravarty | Adapt new SpecConstr functionality to GADT datacons
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Type tags in import/export lists
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | comment for getLocalDeclBinders
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Check for repeated tyvars in AT family decls
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Improve pretty printing for indexed type decls
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Use family and instance keyword to identify indexed...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Remove checkTopTypeD
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Remove argument variance info of tycons
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Don't lift ATs out of classes and instances before tc
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Indexed type defs are not declaring type names
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Deriving Eq for OverlapFlag again
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | fix out-of-scope variable
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | GADT pattern matching fix
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Simplify mkDataCon slightly
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Partial changes for derived newtype instances
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-18 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-15 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-15 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-15 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-15 |
Manuel M T Chakravarty | Added error checks & fixed bugs
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-15 |
Manuel M T Chakravarty | Fix class construction
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-15 |
Manuel M T Chakravarty | Renaming of indexed types
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-15 |
Manuel M T Chakravarty | Renaming of kind signatures (rnTySig)
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-15 |
Manuel M T Chakravarty | Revised kind signatures
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-15 |
Manuel M T Chakravarty | Cleanup (re type function parsing)
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-15 |
Manuel M T Chakravarty | Parser support for assoc synonyms
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-15 |
Manuel M T Chakravarty | Fix migrated AT support
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-09-15 |
Manuel M T Chakravarty | Migrate cvs diff from fptools-assoc branch
...2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
|
commit | commitdiff | tree |
| 2006-08-07 |
Manuel M T Chakravarty | OccName->FS in tyThingToIfaceDecl that moved to MkIface
|
commit | commitdiff | tree |
| 2006-08-07 |
Manuel M T Chakravarty | Fix pattern w/o location in Check
|
commit | commitdiff | tree |
| 2006-08-07 |
Manuel M T Chakravarty | OccName->FS change over for equalities in GADTs
|
commit | commitdiff | tree |
| 2006-08-07 |
Manuel M T Chakravarty | Comments only
|
commit | commitdiff | tree |
| 2006-08-07 |
Manuel M T Chakravarty | Correct grevious bug in mkSymCoercion
|
commit | commitdiff | tree |
| 2006-08-07 |
Manuel M T Chakravarty | GADT tweaks
|
commit | commitdiff | tree |
| 2006-08-07 |
Manuel M T Chakravarty | Configure changes to make testsuite work better on...
|
commit | commitdiff | tree |
| 2006-08-06 |
Manuel M T Chakravarty | Remove Control-M from Coercion.hs
|
commit | commitdiff | tree |
| 2006-08-06 |
Manuel M T Chakravarty | Add Coercion.lhs
|
commit | commitdiff | tree |
| 2006-08-06 |
Manuel M T Chakravarty | Adding TcGadt.lhs
|
commit | commitdiff | tree |
| 2006-08-06 |
Manuel M T Chakravarty | Add a missing prime, to fix desugaring of CoPats
|
commit | commitdiff | tree |
| 2006-08-06 |
Manuel M T Chakravarty | Comments and tidy-up
|
commit | commitdiff | tree |
| 2006-08-06 |
Manuel M T Chakravarty | Fix a lint bug with coercions
|
commit | commitdiff | tree |
| 2006-08-06 |
Manuel M T Chakravarty | GADT fixes
|
commit | commitdiff | tree |
| 2006-08-06 |
Manuel M T Chakravarty | Add CoPat stuff
|
commit | commitdiff | tree |
| 2006-08-06 |
Manuel M T Chakravarty | Resolve conflict in MkExternalCore
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| 2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System...
|
commit | commitdiff | tree |
| next |
projects / ghc-hetmet.git / search