2007-01-11 |
simonpj@microsoft.com | Add comments about invariants |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Add the function TypeRep.pprTypeApp, and use it |
tree | commitdiff |
2007-01-11 |
simonpj@microsoft.com | Fix a nasty recursive loop in typechecking interface... |
tree | commitdiff |
2007-01-10 |
Manuel M T Chakravarty | checkTauTvUpdate: take synonym families into account |
tree | commitdiff |
2007-01-04 |
Manuel M T Chakravarty | Fix and improve deriving for indexed data types |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Add a type synonym for FamInstEnvs |
tree | commitdiff |
2007-01-03 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2007-01-02 |
simonpj@microsoft.com | Big tidy-up of deriving code |
tree | commitdiff |
2006-12-29 |
Manuel M T Chakravarty | EqPred pretty prints as ~ and equalities without brackets |
tree | commitdiff |
2006-12-18 |
Manuel M T Chakravarty | Deriving for indexed data types |
tree | commitdiff |
2006-12-10 |
Pepe Iborra | Closure inspection in GHCi |
tree | commitdiff |
2006-11-24 |
simonpj@microsoft.com | Improve handling of implicit parameters |
tree | commitdiff |
2006-11-10 |
simonpj@microsoft.com | Use implication constraints to improve type inference |
tree | commitdiff |
2006-11-10 |
simonpj@microsoft.com | Cosmetics and debug printing only |
tree | commitdiff |
2006-11-06 |
simonpj@microsoft.com | Tidy up substitutions |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Comments and layout only |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Remove unused import |
tree | commitdiff |
2006-10-19 |
Manuel M T Chakravarty | Fix family instance bug due to the name parent elimination |
tree | commitdiff |
2006-10-19 |
Ian Lynagh | Fix stage1 build with 6.2.1 (from Andy Gill) |
tree | commitdiff |
2006-10-18 |
simonpj@microsoft.com | Add the primitive type Any, and use it for Dynamics |
tree | commitdiff |
2006-10-18 |
simonpj@microsoft.com | Add comment about arity |
tree | commitdiff |
2006-10-13 |
simonpj@microsoft.com | Add assertion checks for mkCoVar/mkTyVar |
tree | commitdiff |
2006-10-12 |
Manuel M T Chakravarty | Overlap check for family instances def'd in current... |
tree | commitdiff |
2006-10-11 |
Simon Marlow | More import tidying and fixing the stage 2 build |
tree | commitdiff |
2006-10-11 |
Simon Marlow | Interface file optimisation and removal of nameParent |
tree | commitdiff |
2006-10-10 |
Manuel M T Chakravarty | Rough matches for family instances |
tree | commitdiff |
2006-10-09 |
Ian Lynagh | Update hi-boot files to fix building with old GHCs |
tree | commitdiff |
2006-10-06 |
simonpj@microsoft.com | Comments and an import-trim |
tree | commitdiff |
2006-10-06 |
simonpj@microsoft.com | Import trimming |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Simplify the way in which the coKindFun in CoercionTyCo... |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Spelling correction |
tree | commitdiff |
2006-09-14 |
Andres Loeh | fix typo in comment |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | The unboxed tuple kind is (#), not (##) |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Complete definition of cmPredX to take account of EqPred |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Correct crucial typo in isSubKind (kc1 -> kc2)! |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Re-work the newtype-deriving support |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Remove dead code concerning coercions from TypeRep |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Add VarSet.disjointVarSet, and use it |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Trim imports, and remove some dead code |
tree | commitdiff |
2006-09-21 |
audreyt@audreyt.org | * TypeRep.lhs and TypeRep.lhs-boot didn't agree on... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Adding FamInstEnv & FamInst modules |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix type checking of imported data instances |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Get of fam inst index in ifaces |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Straightened out implicit coercions for indexed types |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Indexed newtypes |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Check category of type instances and some newtype famil... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Checking conformance of AT indexes with instance heads |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Check that AT instance is in a class |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fixed bug in coercion for indexed data types |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Pattern matching of indexed data types |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Introduce coercions for data instance decls |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Extend TyCons and DataCons to represent data instance... |
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 | Extended TyCon and friends to represent family declarations |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Comments only |
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 | Make sym coercion smart constructor smarter, add comments |
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 | 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 | towards unboxing through newtypes |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Complete the evidence generation for GADTs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | newtype fixes, coercions for non-recursive newtypes... |
tree | commitdiff |
2006-09-18 |
Manuel M T Chakravarty | Remove argument variance info of tycons |
tree | commitdiff |
2006-09-18 |
Manuel M T Chakravarty | Partial changes for derived newtype instances |
tree | commitdiff |
2006-08-07 |
Manuel M T Chakravarty | Comments only |
tree | commitdiff |
2006-08-07 |
Manuel M T Chakravarty | Correct grevious bug in mkSymCoercion |
tree | commitdiff |
2006-08-06 |
Manuel M T Chakravarty | Remove Control-M from Coercion.hs |
tree | commitdiff |
2006-08-06 |
Manuel M T Chakravarty | Add Coercion.lhs |
tree | commitdiff |
2006-08-06 |
Manuel M T Chakravarty | Comments and tidy-up |
tree | commitdiff |
2006-08-06 |
Manuel M T Chakravarty | GADT fixes |
tree | commitdiff |
2006-08-04 |
Manuel M T Chakravarty | Massive patch for the first months work adding System... |
tree | commitdiff |
2006-09-18 |
simonpj@microsoft.com | Comments |
tree | commitdiff |
2006-08-18 |
simonpj@microsoft.com | Better pretty-printing for TvSubst |
tree | commitdiff |
2006-08-15 |
simonpj@microsoft.com | Reject derivable type classes with higher-rank methods |
tree | commitdiff |
2006-07-28 |
Simon Marlow | .hi-boot-5 is obsolete; the earliest GHC we support... |
tree | commitdiff |
2006-07-14 |
simonpj@microsoft.com | Check for overlap-flag differences in hi files |
tree | commitdiff |
2006-06-23 |
Simon Marlow | the unlifted kind |
tree | commitdiff |
2006-05-17 |
simonpj@microsoft.com | White space only |
tree | commitdiff |
2006-04-12 |
simonpj@microsoft.com | Improve pruning of case alternatives to account for... |
tree | commitdiff |
2006-04-07 |
Simon Marlow | Reorganisation of the source tree |
tree | commitdiff |
|