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 |
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 |
next |