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 |
2008-11-26 |
simonpj@microsoft.com | Fix Trac #2766: printing operator type variables |
tree | commitdiff |
2008-10-29 |
simonpj@microsoft.com | Add Outputable instance for CoercionI |
tree | commitdiff |
2008-09-23 |
simonpj@microsoft.com | Improve crash message from applyTys and applyTypeToArgs |
tree | commitdiff |
2008-09-20 |
simonpj@microsoft.com | Comments only: replace ":=:" by "~" (notation for equal... |
tree | commitdiff |
2008-10-09 |
Manuel M T Chakravarty | Cover PredTy case in Type.tyFamInsts |
tree | commitdiff |
2008-10-03 |
simonpj@microsoft.com | Add ASSERTs to all calls of nameModule |
tree | commitdiff |
2008-10-02 |
Manuel M T Chakravarty | Clean up some comments |
tree | commitdiff |
2008-09-15 |
simonpj@microsoft.com | Minor refactoring to get rid of Type.splitNewTyConApp |
tree | commitdiff |
2008-09-07 |
Manuel M T Chakravarty | Type families: new algorithm to solve equalities |
tree | commitdiff |
2008-09-05 |
simonpj@microsoft.com | Minor refactoring to share InstEnv.instanceBindFun |
tree | commitdiff |
2008-09-05 |
simonpj@microsoft.com | Remove unused constructors AvoidMe, WildCard |
tree | commitdiff |
2008-09-05 |
simonpj@microsoft.com | Better debug panic messages in applyTys |
tree | commitdiff |
2008-08-11 |
simonpj@microsoft.com | Fix Trac #2367: selectors for GADTs |
tree | commitdiff |
2008-08-07 |
Ian Lynagh | Fix errors with haddock 0.8 |
tree | commitdiff |
2008-07-31 |
Max Bolingbroke | Document TypeRep and follow OccName change |
tree | commitdiff |
2008-07-31 |
Max Bolingbroke | Document Type |
tree | commitdiff |
2008-07-31 |
Max Bolingbroke | Document TyCon |
tree | commitdiff |
2008-07-31 |
Max Bolingbroke | Document Coercion |
tree | commitdiff |
2008-08-04 |
simonpj@microsoft.com | Fix the bug part of Trac #1930 |
tree | commitdiff |
2008-07-31 |
Max Bolingbroke | Rename maybeTyConSingleCon to tyConSingleDataCon_maybe |
tree | commitdiff |
2008-07-08 |
Ian Lynagh | Remove all .hi-boot-6 files |
tree | commitdiff |
2008-07-03 |
Ian Lynagh | Fix trac #2307: conflicting functional dependencies |
tree | commitdiff |
2008-07-01 |
simonpj@microsoft.com | Fix Trac #2307: need to nub bad fundep reports |
tree | commitdiff |
2008-05-28 |
Simon Marlow | Use MD5 checksums for recompilation checking (fixes... |
tree | commitdiff |
2008-04-22 |
Ian Lynagh | Change the last few (F)SLIT's into (f)sLit's |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in Generics |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in FunDeps |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in FamInstEnv |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in InstEnv |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in Coercion |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in Type |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in TypeRep |
tree | commitdiff |
2008-04-12 |
Ian Lynagh | (F)SLIT -> (f)sLit in Class |
tree | commitdiff |
2008-04-22 |
simonpj@microsoft.com | Refactor the TyVarTy case of 'match'. No change in... |
tree | commitdiff |
2008-04-22 |
simonpj@microsoft.com | Add Note [Generating the in-scope set for a substitution] |
tree | commitdiff |
2008-04-21 |
pepe | Fix #2044 (:printing impredicatively typed things) |
tree | commitdiff |
2008-04-07 |
Manuel M T Chakravarty | Remove GADT refinements, part 5 |
tree | commitdiff |
2008-03-29 |
Ian Lynagh | Don't import FastString in HsVersions.h |
tree | commitdiff |
2008-03-29 |
Ian Lynagh | Remove more #ifdef DEBUGs |
tree | commitdiff |
2008-03-25 |
Tim Chevalier | Change syntax for newtypes in External Core |
tree | commitdiff |
2008-03-15 |
Ian Lynagh | Remove leftover NoteTy/FTVNote bits |
tree | commitdiff |
2008-03-15 |
Ian Lynagh | Remove uses of addFreeTyVars |
tree | commitdiff |
2008-02-29 |
Manuel M T Chakravarty | Remove GADT refinements, part 3 |
tree | commitdiff |
2008-02-03 |
Twan van Laarhoven | Fixed warnings in types/Unify |
tree | commitdiff |
2008-02-06 |
Roman Leshchinskiy | Teach cheapEqExpr about casts |
tree | commitdiff |
2008-02-04 |
Simon Marlow | Support for using libffi to implement FFI calls in... |
tree | commitdiff |
2008-02-02 |
Ian Lynagh | Whitespace only |
tree | commitdiff |
2008-01-28 |
simonpj@microsoft.com | Fix typo where I forgot the new substitution |
tree | commitdiff |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in types/InstEnv |
tree | commitdiff |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in types/FamInstEnv |
tree | commitdiff |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in types/Generics |
tree | commitdiff |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in types/TyCon |
tree | commitdiff |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in types/Type, except for incomplete... |
tree | commitdiff |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in types/TypeRep |
tree | commitdiff |
next |