projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add -fsimpleopt-before-flatten
[ghc-hetmet.git] / compiler / types /
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
2007-06-29 simonpj@microsoft.comMany comments about oclose, plus a fix for Trac #1456 tree | commitdiff
2007-06-29 Manuel M T ChakravartyOverlap check for type families tree | commitdiff
2007-06-28 simonpj@microsoft.comImprove error message when there is instance overlap tree | commitdiff
2007-06-25 simonpj@microsoft.comPrint infix type constructors in an infix way tree | commitdiff
2007-05-23 simonpj@microsoft.comImprove the interaction of 'seq' and associated data... tree | commitdiff
2007-05-23 simonpj@microsoft.comWhite-space only tree | commitdiff
2007-05-11 Tom Schrijverstype family normalisation tree | commitdiff
2007-05-19 Pepe IborraRewrite the unsafe code dealing with unboxed primitives... tree | commitdiff
2007-05-14 Manuel M T ChakravartyRevised signature of tcLookupFamInst and lookupFamInstEnv tree | commitdiff
2007-05-11 Manuel M T ChakravartyRemove the distinction between data and newtype families tree | commitdiff
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name tree | commitdiff
2007-05-09 simonpj@microsoft.comTidy up the interface to lookupInstEnv tree | commitdiff
2007-05-04 simonpj@microsoft.comFix the pruning of dead case alternatives tree | commitdiff
2007-05-04 simonpj@microsoft.comisDataTyCon should be False for all type families,... tree | commitdiff
2007-05-02 simonpj@microsoft.comMake records work properly with type families tree | commitdiff
2007-05-02 simonpj@microsoft.comUse pprSourceTyCon; delete unused tyConOrigHead tree | commitdiff
2007-05-02 simonpj@microsoft.comFixes to data type families tree | commitdiff
2007-04-25 simonpj@microsoft.comFix misleading debug trace tree | commitdiff
2007-04-24 Pepe IborraWhen a type is refined after :print, propagate the... tree | commitdiff
2007-04-25 Manuel M T ChakravartyGenerating synonym instance representation tycons tree | commitdiff
2007-04-22 simonpj@microsoft.comFixes to datacon wrappers for indexed data types tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)