projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
New syntax for GADT-style record declarations, and associated refactoring
[ghc-hetmet.git] / compiler / types /
2009-06-22 Simon Marlowfix comment tree | commitdiff
2009-05-12 simonpj@microsoft.comImprove error messages for type functions tree | commitdiff
2009-03-30 simonpj@microsoft.comFix an nasty black hole, concerning computation of... tree | commitdiff
2009-03-16 simonpj@microsoft.comLayout only tree | commitdiff
2009-03-15 Manuel M T ChakravartyEnsure the orientation of var-var equalities is correct... tree | commitdiff
2009-03-05 simonpj@microsoft.comFinally fix Trac #3066 tree | commitdiff
2009-02-11 simonpj@microsoft.comFix Trac #3017: ensure that we quantify over enough... tree | commitdiff
2009-01-15 simonpj@microsoft.comRobustify lookupFamInstEnv, plus some refactoring tree | commitdiff
2009-01-14 simonpj@microsoft.comRobustify lookupFamInstEnv tree | commitdiff
2009-02-02 simonpj@microsoft.comImprove error reporting for precedence errors tree | commitdiff
2009-01-13 simonpj@microsoft.comRename isIdentityCoercion to isIdentityCoI; add Coercio... tree | commitdiff
2009-01-02 simonpj@microsoft.comMake record selectors into ordinary functions tree | commitdiff
2008-12-31 simonpj@microsoft.comWhite space and spelling in comments tree | commitdiff
2008-12-30 simonpj@microsoft.comAvoid nasty name clash with associated data types ... tree | commitdiff
2008-12-01 simonpj@microsoft.comBetter error message for fundep conflict tree | commitdiff
2008-11-26 simonpj@microsoft.comFix Trac #2766: printing operator type variables tree | commitdiff
2008-10-29 simonpj@microsoft.comAdd Outputable instance for CoercionI tree | commitdiff
2008-09-23 simonpj@microsoft.comImprove crash message from applyTys and applyTypeToArgs tree | commitdiff
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal... tree | commitdiff
2008-10-09 Manuel M T ChakravartyCover PredTy case in Type.tyFamInsts tree | commitdiff
2008-10-03 simonpj@microsoft.comAdd ASSERTs to all calls of nameModule tree | commitdiff
2008-10-02 Manuel M T ChakravartyClean up some comments tree | commitdiff
2008-09-15 simonpj@microsoft.comMinor refactoring to get rid of Type.splitNewTyConApp tree | commitdiff
2008-09-07 Manuel M T ChakravartyType families: new algorithm to solve equalities tree | commitdiff
2008-09-05 simonpj@microsoft.comMinor refactoring to share InstEnv.instanceBindFun tree | commitdiff
2008-09-05 simonpj@microsoft.comRemove unused constructors AvoidMe, WildCard tree | commitdiff
2008-09-05 simonpj@microsoft.comBetter debug panic messages in applyTys tree | commitdiff
2008-08-11 simonpj@microsoft.comFix Trac #2367: selectors for GADTs tree | commitdiff
2008-08-07 Ian LynaghFix errors with haddock 0.8 tree | commitdiff
2008-07-31 Max BolingbrokeDocument TypeRep and follow OccName change tree | commitdiff
2008-07-31 Max BolingbrokeDocument Type tree | commitdiff
2008-07-31 Max BolingbrokeDocument TyCon tree | commitdiff
2008-07-31 Max BolingbrokeDocument Coercion tree | commitdiff
2008-08-04 simonpj@microsoft.comFix the bug part of Trac #1930 tree | commitdiff
2008-07-31 Max BolingbrokeRename maybeTyConSingleCon to tyConSingleDataCon_maybe tree | commitdiff
2008-07-08 Ian LynaghRemove all .hi-boot-6 files tree | commitdiff
2008-07-03 Ian LynaghFix trac #2307: conflicting functional dependencies tree | commitdiff
2008-07-01 simonpj@microsoft.comFix Trac #2307: need to nub bad fundep reports tree | commitdiff
2008-05-28 Simon MarlowUse MD5 checksums for recompilation checking (fixes... tree | commitdiff
2008-04-22 Ian LynaghChange 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.comRefactor the TyVarTy case of 'match'. No change in... tree | commitdiff
2008-04-22 simonpj@microsoft.comAdd Note [Generating the in-scope set for a substitution] tree | commitdiff
2008-04-21 pepeFix #2044 (:printing impredicatively typed things) tree | commitdiff
2008-04-07 Manuel M T ChakravartyRemove GADT refinements, part 5 tree | commitdiff
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h tree | commitdiff
2008-03-29 Ian LynaghRemove more #ifdef DEBUGs tree | commitdiff
2008-03-25 Tim ChevalierChange syntax for newtypes in External Core tree | commitdiff
2008-03-15 Ian LynaghRemove leftover NoteTy/FTVNote bits tree | commitdiff
2008-03-15 Ian LynaghRemove uses of addFreeTyVars tree | commitdiff
2008-02-29 Manuel M T ChakravartyRemove GADT refinements, part 3 tree | commitdiff
2008-02-03 Twan van LaarhovenFixed warnings in types/Unify tree | commitdiff
2008-02-06 Roman LeshchinskiyTeach cheapEqExpr about casts tree | commitdiff
2008-02-04 Simon MarlowSupport for using libffi to implement FFI calls in... tree | commitdiff
2008-02-02 Ian LynaghWhitespace only tree | commitdiff
2008-01-28 simonpj@microsoft.comFix typo where I forgot the new substitution tree | commitdiff
2008-01-26 Twan van LaarhovenFixed warnings in types/InstEnv tree | commitdiff
2008-01-26 Twan van LaarhovenFixed warnings in types/FamInstEnv tree | commitdiff
2008-01-26 Twan van LaarhovenFixed warnings in types/Generics tree | commitdiff
2008-01-26 Twan van LaarhovenFixed warnings in types/TyCon tree | commitdiff
2008-01-26 Twan van LaarhovenFixed warnings in types/Type, except for incomplete... tree | commitdiff
2008-01-26 Twan van LaarhovenFixed warnings in types/TypeRep tree | commitdiff
2008-01-26 Twan van LaarhovenFixed warnings in types/FunDeps tree | commitdiff
2008-01-26 Twan van LaarhovenFixed warnings in types/Coercion, except for incomplete... tree | commitdiff
2008-01-25 Twan van LaarhovenFixed warnings in types/Class tree | commitdiff
2008-01-16 simonpj@microsoft.comThe Core type-matcher should look through PredTypes tree | commitdiff
2008-01-07 simonpj@microsoft.comMake the treatment of equalities more uniform tree | commitdiff
2007-12-21 simonpj@microsoft.comImprove handling of newtypes (fixes Trac 1495) tree | commitdiff
2007-11-13 Pepe IborraFix Trac 1865: GHCi debugger crashes with :print tree | commitdiff
2007-11-05 simonpj@microsoft.comComment warning about transparent newtypes tree | commitdiff
2007-10-16 simonpj@microsoft.comEliminate over-zealous warning in CoreToStg tree | commitdiff
2007-10-03 Manuel M T ChakravartyTcTyFuns.eqInstToRewrite tree | commitdiff
2007-09-29 simonpj@microsoft.comFix Trac #1746: make rule-matching work properly with... tree | commitdiff
2007-09-29 simonpj@microsoft.comSmall comment only tree | commitdiff
2007-10-02 Manuel M T ChakravartyFIX: mkWWcpr takes open alg types into account tree | commitdiff
2007-09-29 Manuel M T ChakravartySome more traceTcs tree | commitdiff
2007-09-19 Manuel M T ChakravartyFIX #1713: watch out for type families in splitAppTy... tree | commitdiff
2007-09-15 Manuel M T ChakravartyOverhaul of the rewrite rules tree | commitdiff
2007-09-11 simonpj@microsoft.comMinor refactoring: give an explicit name to the pretty... tree | commitdiff
2007-09-10 Simon MarlowFIX #903: mkWWcpr: not a product tree | commitdiff
2007-09-10 Manuel M T ChakravartyCleaned up version of Tom's unflattened skolemOccurs tree | commitdiff
2007-09-07 Manuel M T ChakravartyImproved error messages for higher-rank equality contexts tree | commitdiff
2007-09-07 simonpj@microsoft.comTiny optimisation/simplification to FunDeps.grow tree | commitdiff
2007-09-05 simonpj@microsoft.comRefactor, improve, and document the deriving mechanism tree | commitdiff
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs tree | commitdiff
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas tree | commitdiff
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil... tree | commitdiff
2007-08-28 Manuel M T ChakravartyType checking for type synonym families tree | commitdiff
2007-08-09 simonpj@microsoft.comTidy up the treatment of newtypes, refactor, and fix... tree | commitdiff
2007-08-03 simonpj@microsoft.comRemove dead code tree | commitdiff
2007-08-04 simonpj@microsoft.comAdd missing case to sizeofPrimRep tree | commitdiff
2007-07-06 simonpj@microsoft.comClarify comments tree | commitdiff
2007-07-02 Ian LynaghRemove mapAccumL, mapAccumR, mapAccumB tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)