2006-10-12 |
Manuel M T Chakravarty | Overlap check for family instances def'd in current... |
tree | commitdiff |
2006-10-11 |
simonpj@microsoft.com | Make Inst into a record type to ease subsequent changes |
tree | commitdiff |
2006-10-11 |
Simon Marlow | More import tidying and fixing the stage 2 build |
tree | commitdiff |
2006-10-11 |
Simon Marlow | Module header tidyup, phase 1 |
tree | commitdiff |
2006-10-11 |
Simon Marlow | Interface file optimisation and removal of nameParent |
tree | commitdiff |
2006-10-10 |
simonpj@microsoft.com | Do not filter the type envt after each GHCi stmt |
tree | commitdiff |
2006-10-10 |
simonpj@microsoft.com | Fail more informatively when a global isn't in the... |
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 | Fix up the typechecking of interface files during ... |
tree | commitdiff |
2006-10-06 |
simonpj@microsoft.com | Import trimming |
tree | commitdiff |
2006-10-06 |
simonpj@microsoft.com | Improve error message |
tree | commitdiff |
2006-10-05 |
davve@dtek.chalmers.se | Merge Haddock comment support from ghc.haddock -- big... |
tree | commitdiff |
2006-09-20 |
bjorn@bringert.net | Merged stand-alone deriving with FC stuff. |
tree | commitdiff |
2006-09-19 |
bjorn@bringert.net | Fixed source location and instance origin in stand... |
tree | commitdiff |
2006-09-18 |
bjorn@bringert.net | Added type signature for tcSplitSigmaTy. |
tree | commitdiff |
2006-09-18 |
bjorn@bringert.net | New syntax for stand-alone deriving. Implemented fully. |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Improve unboxing of strict fields |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Remove redundant dump |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Remove ILX from the GHC altogether (although I left... |
tree | commitdiff |
2006-10-04 |
simonpj@microsoft.com | Tidy tyvar OccNames in TcTyClDecl |
tree | commitdiff |
2006-10-03 |
simonpj@microsoft.com | Fix scoped type variables for expression type signatures |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Add missing case for EqPred |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Remove Linear Implicit Parameters, and all their works |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Global renamings in HsSyn |
tree | commitdiff |
2006-09-29 |
simonpj@microsoft.com | Improve unification error messages (again) (push to... |
tree | commitdiff |
2006-09-27 |
Simon Marlow | Make printing of binding results optional in GHCi,... |
tree | commitdiff |
2006-09-26 |
simonpj@microsoft.com | Fix derived instances (again); prevents infinite superc... |
tree | commitdiff |
2006-09-25 |
simonpj@microsoft.com | Fix newtype deriving properly (un-doing Audreys patch) |
tree | commitdiff |
2006-09-24 |
audreyt@audreyt.org | Comment-only: Fix a typo, and note that the PredTy... |
tree | commitdiff |
2006-09-24 |
audreyt@audreyt.org | In tcSplittyConApp_maybe, add the PredTy case |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Trim more imports |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Fix origin for addDataConStupidTheta |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Re-work the newtype-deriving support |
tree | commitdiff |
2006-09-23 |
simonpj@microsoft.com | Add TcRnMonad.newSysLocalIds, and use it |
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-22 |
simonpj@microsoft.com | Add a crucial missing prime in tcConPat |
tree | commitdiff |
2006-09-22 |
audreyt@audreyt.org | Repair "ghci" under FC+AT by handling AnnCast in byteco... |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Correct substitution into theta types (after merge) After_FC_branch_merge |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix import list of TcTyClsDecls after merge |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Adding FamInstEnv & FamInst modules |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Adapt FC-code in TcUnify to pre-subsumption |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Some more ASSERTs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | SPJ's fix to resolve conflict in instFun |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Adjust code from manual merges |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Adapt TcFix imports |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Basic set up for global family instance environment |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Import/export of data constructors in family instances |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Use smart lookup for tycons |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Option -findexed-types |
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 | ATs are now implicitTyThings |
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 | Fixed two bugs concerning fanilies |
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 | Better error message for indexes that must be variables |
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 | Warn of missing ATs and complain about bad ATs |
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 | 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 | Fixed two data family bugs |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix the tyvars used for data con signatures |
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 | 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 | Missing change re additional info in TcTyThing |
tree | commitdiff |
2006-09-20 |
Manuel M T Chakravarty | Fix newtype deriving bug |
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 | 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 | Fix GADT refinement fix-pointing, add ASSERTs and a... |
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 | 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 | 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-19 |
Manuel M T Chakravarty | Adapt TcRnDriver to moved tyThingToIfaceDecl |
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 | Partial changes for derived newtype instances |
tree | commitdiff |
next |