2011-05-09 |
Jose Pedro Magalhaes | Improve the error message when we cannot derive Generic. |
tree | commitdiff |
2011-05-09 |
Jose Pedro Magalhaes | Rename `Representable0` to `Generic`. |
tree | commitdiff |
2011-05-04 |
Jose Pedro Magalhaes | Add a new flag XDefaultSignatures to enable just the... |
tree | commitdiff |
2011-05-03 |
Jose Pedro Magalhaes | Use NoSelector when a constructor does not have fields. |
tree | commitdiff |
2011-05-02 |
Jose Pedro Magalhaes | Remove the hasGenerics field of TyCon, improve the... |
tree | commitdiff |
2011-04-29 |
Jose Pedro Magalhaes | Remove some debug info left lying around. |
tree | commitdiff |
2011-04-29 |
Jose Pedro Magalhaes | Generate Par0 when appropriate. |
tree | commitdiff |
2011-04-28 |
Jose Pedro Magalhaes | Remove a lot of stuff from the old generic mechanism. |
tree | commitdiff |
2011-04-20 |
Simon Peyton Jones | Merge remote branch 'origin/master' into ghc-generics |
tree | commitdiff |
2011-04-20 |
Simon Peyton Jones | Pretty-print type variables that are operators correctly |
tree | commitdiff |
2011-04-14 |
unknown | Small fixes to the generics branch to get rid of warnings, |
tree | commitdiff |
2011-04-12 |
simonpj | Initial commit for Pedro's new generic default methods |
tree | commitdiff |
2011-03-31 |
simonpj@microsoft.com | Add a new static flag -fno-opt-coercion |
tree | commitdiff |
2011-03-31 |
simonpj@microsoft.com | New statistics flags -ddump-core-stats |
tree | commitdiff |
2011-03-02 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2011-02-17 |
simonpj@microsoft.com | Use "on the spot" solving for fundeps |
tree | commitdiff |
2011-01-19 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2011-01-12 |
simonpj@microsoft.com | Major refactoring of the type inference engine |
tree | commitdiff |
2010-12-22 |
simonpj@microsoft.com | Make mkDFunUnfolding more robust |
tree | commitdiff |
2010-12-15 |
simonpj@microsoft.com | Tighten up what it means to be an "enumeration data... |
tree | commitdiff |
2010-12-14 |
simonpj@microsoft.com | Instance declaration overlap allowed if *either* has... |
tree | commitdiff |
2010-12-14 |
simonpj@microsoft.com | Wibble to InstEnv.instanceHead |
tree | commitdiff |
2010-12-13 |
simonpj@microsoft.com | Fix recursive superclasses (again). Fixes Trac #4809. |
tree | commitdiff |
2010-11-23 |
Ian Lynagh | Remove references to Haskell 98 |
tree | commitdiff |
2010-11-12 |
simonpj@microsoft.com | A (final) re-engineering of the new typechecker |
tree | commitdiff |
2010-10-19 |
simonpj@microsoft.com | Clean up the debugger code |
tree | commitdiff |
2010-10-14 |
dimitris@microsoft.com | Midstream changes for performance improvement related... |
tree | commitdiff |
2010-10-15 |
simonpj@microsoft.com | Comments and layout |
tree | commitdiff |
2010-10-07 |
simonpj@microsoft.com | Fix an ASSERT failure in FamInstEnv |
tree | commitdiff |
2010-10-06 |
dimitris@microsoft.com | Major bugfixing pass through the type checker |
tree | commitdiff |
2010-09-17 |
simonpj@microsoft.com | Minor type printing amomaly |
tree | commitdiff |
2010-09-16 |
simonpj@microsoft.com | Fix a very subtle shadowing bug in optCoercion |
tree | commitdiff |
2010-09-16 |
simonpj@microsoft.com | Fix bad error in tyVarsOfType |
tree | commitdiff |
2010-09-16 |
simonpj@microsoft.com | More assertions |
tree | commitdiff |
2010-09-15 |
simonpj@microsoft.com | Remove dead code dealing with type refinement |
tree | commitdiff |
2010-09-15 |
simonpj@microsoft.com | Use mkAppTy |
tree | commitdiff |
2010-09-15 |
simonpj@microsoft.com | Improve pretty-printing of family instances |
tree | commitdiff |
2010-09-14 |
simonpj@microsoft.com | Comment on what an "enumeration" type is |
tree | commitdiff |
2010-09-13 |
simonpj@microsoft.com | Haddock fixes |
tree | commitdiff |
2010-09-13 |
simonpj@microsoft.com | Super-monster patch implementing the new typechecker... |
tree | commitdiff |
2010-09-03 |
simonpj@microsoft.com | Comments and layout |
tree | commitdiff |
2010-09-02 |
simonpj@microsoft.com | Assert |
tree | commitdiff |
2010-08-18 |
simonpj@microsoft.com | Wibble |
tree | commitdiff |
2010-08-18 |
simonpj@microsoft.com | Pretty printing change |
tree | commitdiff |
2010-08-30 |
benl@ouroborus.net | Fix warning about multiply exported name |
tree | commitdiff |
2010-08-30 |
benl@ouroborus.net | Vectorisation of method types |
tree | commitdiff |
2010-08-13 |
simonpj@microsoft.com | Re-do the arity calculation mechanism again (fix Trac... |
tree | commitdiff |
2010-07-13 |
simonpj@microsoft.com | Comments on data type families |
tree | commitdiff |
2010-07-07 |
simonpj@microsoft.com | Fix Trac #4127 (and hence #4173) |
tree | commitdiff |
2010-06-14 |
simonpj@microsoft.com | Use mkFunTy to ensure that invariants are respected |
tree | commitdiff |
2010-06-04 |
simonpj@microsoft.com | Don't use unnecessary parens when printing types (Fix... |
tree | commitdiff |
2010-05-25 |
simonpj@microsoft.com | Refactor (again) the handling of default methods |
tree | commitdiff |
2010-04-17 |
simonpj@microsoft.com | Comments only (about type families) |
tree | commitdiff |
2010-03-30 |
David Waern | Add Data and Typeable instances to HsSyn |
tree | commitdiff |
2010-03-04 |
simonpj@microsoft.com | Make `mkFunTy` associate to the right, as it should |
tree | commitdiff |
2010-03-01 |
simonpj@microsoft.com | Implement a smart constructor mkUnsafeCoercion, and... |
tree | commitdiff |
2010-01-07 |
simonpj@microsoft.com | Spelling error in comment |
tree | commitdiff |
2009-12-24 |
simonpj@microsoft.com | Refactor CoreArity a bit |
tree | commitdiff |
2009-12-22 |
simonpj@microsoft.com | Move isDictTy from TcType to Type |
tree | commitdiff |
2010-01-04 |
simonpj@microsoft.com | Substantial improvements to coercion optimisation |
tree | commitdiff |
2009-12-16 |
simonpj@microsoft.com | Comments only |
tree | commitdiff |
2009-12-16 |
simonpj@microsoft.com | Two improvements to optCoercion |
tree | commitdiff |
2009-12-16 |
simonpj@microsoft.com | Fix a long-standing infelicity in the type pretty printer |
tree | commitdiff |
2009-12-16 |
simonpj@microsoft.com | Deal with warnings in Coercion.lhs |
tree | commitdiff |
2009-12-11 |
simonpj@microsoft.com | Use full equality for CSE |
tree | commitdiff |
2009-11-24 |
David Waern | Add a note saying what Haddock relies on about Instance... |
tree | commitdiff |
2009-11-24 |
Ian Lynagh | Treat () as an enumeration tycon |
tree | commitdiff |
2009-11-19 |
Roman Leshchinskiy | Fix splitAppTys |
tree | commitdiff |
2009-11-12 |
simonpj@microsoft.com | A radical overhaul of the coercion infrastucture |
tree | commitdiff |
2009-11-08 |
tom.schrijvers@cs... | more aggressive optimization of coercion terms |
tree | commitdiff |
2009-11-06 |
simonpj@microsoft.com | Tidy up coercions, and implement csel1, csel2, cselR |
tree | commitdiff |
2009-10-30 |
simonpj@microsoft.com | Improve coercion optimisation |
tree | commitdiff |
2009-10-28 |
tom.schrijvers@cs... | fix and enable coercion optimization |
tree | commitdiff |
2009-10-29 |
simonpj@microsoft.com | The Big INLINE Patch: totally reorganise way that INLIN... |
tree | commitdiff |
2009-10-28 |
simonpj@microsoft.com | Trivial improvement to mkForAllTy |
tree | commitdiff |
2009-10-26 |
simonpj@microsoft.com | Add a coercion optimiser, to reduce the size of coercio... |
tree | commitdiff |
2009-10-15 |
simonpj@microsoft.com | Fix Trac #959: a long-standing bug in instantiating... |
tree | commitdiff |
2009-10-08 |
simonpj@microsoft.com | Make tyConSingleDataCon_maybe more forgiving |
tree | commitdiff |
2009-10-02 |
simonpj@microsoft.com | Fix pretty-printing precedence for equality constraints |
tree | commitdiff |
2009-08-18 |
Manuel M T Chakravarty | FIX #3405 |
tree | commitdiff |
2009-08-13 |
simonpj@microsoft.com | Fix Trac #3409: type synonyms that discard their arguments |
tree | commitdiff |
2009-07-23 |
simonpj@microsoft.com | Add tuple sections as a new feature |
tree | commitdiff |
2009-07-07 |
Ian Lynagh | Remove unused imports |
tree | commitdiff |
2009-07-06 |
simonpj@microsoft.com | Trim unused imports detected by new unused-import code |
tree | commitdiff |
2009-07-07 |
Manuel M T Chakravarty | FIX #2677 |
tree | commitdiff |
2009-06-22 |
Simon Marlow | fix comment |
tree | commitdiff |
2009-05-12 |
simonpj@microsoft.com | Improve error messages for type functions |
tree | commitdiff |
2009-03-30 |
simonpj@microsoft.com | Fix an nasty black hole, concerning computation of... |
tree | commitdiff |
2009-03-16 |
simonpj@microsoft.com | Layout only |
tree | commitdiff |
2009-03-15 |
Manuel M T Chakravarty | Ensure the orientation of var-var equalities is correct... |
tree | commitdiff |
2009-03-05 |
simonpj@microsoft.com | Finally fix Trac #3066 |
tree | commitdiff |
2009-02-11 |
simonpj@microsoft.com | Fix Trac #3017: ensure that we quantify over enough... |
tree | commitdiff |
2009-01-15 |
simonpj@microsoft.com | Robustify lookupFamInstEnv, plus some refactoring |
tree | commitdiff |
2009-01-14 |
simonpj@microsoft.com | Robustify lookupFamInstEnv |
tree | commitdiff |
2009-02-02 |
simonpj@microsoft.com | Improve error reporting for precedence errors |
tree | commitdiff |
2009-01-13 |
simonpj@microsoft.com | Rename isIdentityCoercion to isIdentityCoI; add Coercio... |
tree | commitdiff |
2009-01-02 |
simonpj@microsoft.com | Make record selectors into ordinary functions |
tree | commitdiff |
2008-12-31 |
simonpj@microsoft.com | White space and spelling in comments |
tree | commitdiff |
2008-12-30 |
simonpj@microsoft.com | Avoid nasty name clash with associated data types ... |
tree | commitdiff |
2008-12-01 |
simonpj@microsoft.com | Better error message for fundep conflict |
tree | commitdiff |
next |