2006-12-18 |
Manuel M T Chakravarty | Deriving for indexed data types |
tree | commitdiff |
2006-12-11 |
Pepe Iborra | Toggle whether the RTS gets build with debugger support... |
tree | commitdiff |
2006-12-11 |
Pepe Iborra | Adjust code from manual merges |
tree | commitdiff |
2006-12-10 |
Pepe Iborra | Prevent breakpoint instrumentation of spliced code |
tree | commitdiff |
2006-12-10 |
Pepe Iborra | Breakpoint code instrumentation |
tree | commitdiff |
2006-12-10 |
Pepe Iborra | The breakpoint primitive |
tree | commitdiff |
2006-12-10 |
Pepe Iborra | Playing with closures |
tree | commitdiff |
2006-12-13 |
simonpj@microsoft.com | Add left-to-right impredicative instantiation |
tree | commitdiff |
2006-12-12 |
simonpj@microsoft.com | Missed a stage-2 problem in the TcSimplify refactoring |
tree | commitdiff |
2006-12-12 |
simonpj@microsoft.com | Fix up yesterdays commit to TcSimplify; fixes broken... |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Add comments about pruning implication constraints |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | More refactoring of constraint simplification |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Improve origin of constraints in subsumption checking |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Suggests -fglasgow-exts for contexts-differ-in-length... |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Comments and layout only |
tree | commitdiff |
2006-12-11 |
simonpj@microsoft.com | Remove strange extra print (a temporary debug?) |
tree | commitdiff |
2006-12-07 |
Manuel M T Chakravarty | Fix family instance consistency check for home package... |
tree | commitdiff |
2006-12-01 |
simonpj@microsoft.com | q |
tree | commitdiff |
2006-11-24 |
simonpj@microsoft.com | Fix constraint handling for lazy patterns |
tree | commitdiff |
2006-11-24 |
simonpj@microsoft.com | Improve handling of implicit parameters |
tree | commitdiff |
2006-11-24 |
simonpj@microsoft.com | Gather constraints in program order |
tree | commitdiff |
2006-11-23 |
simonpj@microsoft.com | Simplify TcSimplify, by removing Free |
tree | commitdiff |
2006-11-22 |
simonpj@microsoft.com | Refactoring of where tcSimplifyTop happens |
tree | commitdiff |
2006-11-22 |
simonpj@microsoft.com | Retain simplifications of implication constraints |
tree | commitdiff |
2006-11-22 |
simonpj@microsoft.com | Improve error messages slightly |
tree | commitdiff |
2006-11-10 |
Samuel Bronson | Zap stray whitespace in lhs formatting |
tree | commitdiff |
2006-11-10 |
simonpj@microsoft.com | Use implication constraints to improve type inference |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Major overhaul of the Simplifier |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Trim imports |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Default the kind of unconstrained meta-type variables... |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Improve error message (push to 6.6 branch) |
tree | commitdiff |
2006-11-01 |
simonpj@microsoft.com | Fix error reporting for contexts during deriving (Trac... |
tree | commitdiff |
2006-10-24 |
andy@galois.com | Haskell Program Coverage |
tree | commitdiff |
2006-10-22 |
Manuel M T Chakravarty | Improve error messages for indexed types |
tree | commitdiff |
2006-10-20 |
Manuel M T Chakravarty | Fix processing of imports involving ATs with the new... |
tree | commitdiff |
2006-10-19 |
Manuel M T Chakravarty | Fix show-iface for family instances & add debug ppr... |
tree | commitdiff |
2006-10-18 |
Manuel M T Chakravarty | Cross-module consistency check for family instances |
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 | Minor refactoring |
tree | commitdiff |
2006-10-16 |
Manuel M T Chakravarty | Stage 2 fix to "Keep track of family instance modules" |
tree | commitdiff |
2006-10-16 |
Simon Marlow | fix non-DEBUG build (probably my fault, sorry) |
tree | commitdiff |
2006-10-13 |
simonpj@microsoft.com | Add assertion checks for mkCoVar/mkTyVar |
tree | commitdiff |
2006-10-13 |
simonpj@microsoft.com | Change type of TcGadt.refineType, plus consequences |
tree | commitdiff |
2006-10-13 |
simonpj@microsoft.com | More refactoring in RnNames |
tree | commitdiff |
2006-10-13 |
Manuel M T Chakravarty | Keep track of family instance modules |
tree | commitdiff |
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 |
next |