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 |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in types/FunDeps |
tree | commitdiff |
2008-01-26 |
Twan van Laarhoven | Fixed warnings in types/Coercion, except for incomplete... |
tree | commitdiff |
2008-01-25 |
Twan van Laarhoven | Fixed warnings in types/Class |
tree | commitdiff |
2008-01-16 |
simonpj@microsoft.com | The Core type-matcher should look through PredTypes |
tree | commitdiff |
2008-01-07 |
simonpj@microsoft.com | Make the treatment of equalities more uniform |
tree | commitdiff |
2007-12-21 |
simonpj@microsoft.com | Improve handling of newtypes (fixes Trac 1495) |
tree | commitdiff |
2007-11-13 |
Pepe Iborra | Fix Trac 1865: GHCi debugger crashes with :print |
tree | commitdiff |
2007-11-05 |
simonpj@microsoft.com | Comment warning about transparent newtypes |
tree | commitdiff |
2007-10-16 |
simonpj@microsoft.com | Eliminate over-zealous warning in CoreToStg |
tree | commitdiff |
2007-10-03 |
Manuel M T Chakravarty | TcTyFuns.eqInstToRewrite |
tree | commitdiff |
2007-09-29 |
simonpj@microsoft.com | Fix Trac #1746: make rule-matching work properly with... |
tree | commitdiff |
2007-09-29 |
simonpj@microsoft.com | Small comment only |
tree | commitdiff |
2007-10-02 |
Manuel M T Chakravarty | FIX: mkWWcpr takes open alg types into account |
tree | commitdiff |
2007-09-29 |
Manuel M T Chakravarty | Some more traceTcs |
tree | commitdiff |
2007-09-19 |
Manuel M T Chakravarty | FIX #1713: watch out for type families in splitAppTy... |
tree | commitdiff |
2007-09-15 |
Manuel M T Chakravarty | Overhaul of the rewrite rules |
tree | commitdiff |
2007-09-11 |
simonpj@microsoft.com | Minor refactoring: give an explicit name to the pretty... |
tree | commitdiff |
2007-09-10 |
Simon Marlow | FIX #903: mkWWcpr: not a product |
tree | commitdiff |
2007-09-10 |
Manuel M T Chakravarty | Cleaned up version of Tom's unflattened skolemOccurs |
tree | commitdiff |
2007-09-07 |
Manuel M T Chakravarty | Improved error messages for higher-rank equality contexts |
tree | commitdiff |
2007-09-07 |
simonpj@microsoft.com | Tiny optimisation/simplification to FunDeps.grow |
tree | commitdiff |
2007-09-05 |
simonpj@microsoft.com | Refactor, improve, and document the deriving mechanism |
tree | commitdiff |
2007-09-04 |
Ian Lynagh | Fix CodingStyle#Warnings URLs |
tree | commitdiff |
2007-09-03 |
Ian Lynagh | Use OPTIONS rather than OPTIONS_GHC for pragmas |
tree | commitdiff |
2007-09-01 |
Ian Lynagh | Add {-# OPTIONS_GHC -w #-} and some blurb to all compil... |
tree | commitdiff |
2007-08-28 |
Manuel M T Chakravarty | Type checking for type synonym families |
tree | commitdiff |
2007-08-09 |
simonpj@microsoft.com | Tidy up the treatment of newtypes, refactor, and fix... |
tree | commitdiff |
2007-08-03 |
simonpj@microsoft.com | Remove dead code |
tree | commitdiff |
2007-08-04 |
simonpj@microsoft.com | Add missing case to sizeofPrimRep |
tree | commitdiff |
2007-07-06 |
simonpj@microsoft.com | Clarify comments |
tree | commitdiff |
2007-07-02 |
Ian Lynagh | Remove mapAccumL, mapAccumR, mapAccumB |
tree | commitdiff |
2007-06-29 |
simonpj@microsoft.com | Many comments about oclose, plus a fix for Trac #1456 |
tree | commitdiff |
2007-06-29 |
Manuel M T Chakravarty | Overlap check for type families |
tree | commitdiff |
2007-06-28 |
simonpj@microsoft.com | Improve error message when there is instance overlap |
tree | commitdiff |
2007-06-25 |
simonpj@microsoft.com | Print infix type constructors in an infix way |
tree | commitdiff |
2007-05-23 |
simonpj@microsoft.com | Improve the interaction of 'seq' and associated data... |
tree | commitdiff |
2007-05-23 |
simonpj@microsoft.com | White-space only |
tree | commitdiff |
2007-05-11 |
Tom Schrijvers | type family normalisation |
tree | commitdiff |
2007-05-19 |
Pepe Iborra | Rewrite the unsafe code dealing with unboxed primitives... |
tree | commitdiff |
2007-05-14 |
Manuel M T Chakravarty | Revised signature of tcLookupFamInst and lookupFamInstEnv |
tree | commitdiff |
2007-05-11 |
Manuel M T Chakravarty | Remove the distinction between data and newtype families |
tree | commitdiff |
2007-05-11 |
Simon Marlow | Store a SrcSpan instead of a SrcLoc inside a Name |
tree | commitdiff |
2007-05-09 |
simonpj@microsoft.com | Tidy up the interface to lookupInstEnv |
tree | commitdiff |
2007-05-04 |
simonpj@microsoft.com | Fix the pruning of dead case alternatives |
tree | commitdiff |
2007-05-04 |
simonpj@microsoft.com | isDataTyCon should be False for all type families,... |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Make records work properly with type families |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Use pprSourceTyCon; delete unused tyConOrigHead |
tree | commitdiff |
2007-05-02 |
simonpj@microsoft.com | Fixes to data type families |
tree | commitdiff |
2007-04-25 |
simonpj@microsoft.com | Fix misleading debug trace |
tree | commitdiff |
2007-04-24 |
Pepe Iborra | When a type is refined after :print, propagate the... |
tree | commitdiff |
2007-04-25 |
Manuel M T Chakravarty | Generating synonym instance representation tycons |
tree | commitdiff |
2007-04-22 |
simonpj@microsoft.com | Fixes to datacon wrappers for indexed data types |
tree | commitdiff |
2007-04-02 |
simonpj@microsoft.com | Make type-tidying work for coercion variables |
tree | commitdiff |
2007-03-21 |
simonpj@microsoft.com | Remove redundant exports from a hs-boot file |
tree | commitdiff |
2007-02-23 |
Manuel M T Chakravarty | Moved argument position info of ATs into tycon rhs... |
tree | commitdiff |
2007-02-21 |
simonpj@microsoft.com | Deal more correctly with orphan instances |
tree | commitdiff |
2007-02-21 |
simonpj@microsoft.com | Remove dead code from FunDeps |
tree | commitdiff |
2007-02-05 |
simonpj@microsoft.com | Improve simplification of coercions |
tree | commitdiff |
2007-02-02 |
simonpj@microsoft.com | Fix a pair of classic, but tricky, bugs in the type... |
tree | commitdiff |
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 |
next |