projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make dicts for arbitrary type equalities
[ghc-hetmet.git] / compiler / simplCore /
2006-12-12 simonpj@microsoft.comComments only tree | commitdiff
2006-12-11 simonpj@microsoft.comAdd comments, plus fix zapFragileInfo to zap worker... tree | commitdiff
2006-12-06 simonpj@microsoft.comImprove dependency analysis; makes more dictionaries... tree | commitdiff
2006-11-29 simonpj@microsoft.comImprove the loop-breaking heuristics tree | commitdiff
2006-11-29 andy@galois.comTickBox representation change tree | commitdiff
2006-11-28 Kirsten Chevalierretain arity for let-bound vars in simplifier tree | commitdiff
2006-11-10 Samuel BronsonZap stray whitespace in lhs formatting tree | commitdiff
2006-11-04 Samuel BronsonFix up .lhs delimiters a bit tree | commitdiff
2006-11-06 simonpj@microsoft.comVarious debugging print changes; nothing exciting tree | commitdiff
2006-11-06 simonpj@microsoft.comTidy up substitutions tree | commitdiff
2006-11-01 simonpj@microsoft.comMajor overhaul of the Simplifier tree | commitdiff
2006-10-24 andy@galois.comHaskell Program Coverage tree | commitdiff
2006-10-18 simonpj@microsoft.comSpelling in comment tree | commitdiff
2006-10-16 Samuel BronsonDon't squish "Inlined fn" into the right margin quite... tree | commitdiff
2006-10-13 simonpj@microsoft.comAdd assertion checks for mkCoVar/mkTyVar tree | commitdiff
2006-10-11 Simon MarlowModule header tidyup, phase 1 tree | commitdiff
2006-10-06 simonpj@microsoft.comYet another fix to mkAtomicArgs (for floating of casts) tree | commitdiff
2006-10-05 simonpj@microsoft.comCorrect the float-coercions-out-of-let patch tree | commitdiff
2006-10-05 simonpj@microsoft.comFloat coercions out of lets tree | commitdiff
2006-10-05 simonpj@microsoft.comRemove unused argument to mkAtomicArgs tree | commitdiff
2006-10-05 simonpj@microsoft.comComments and layout tree | commitdiff
2006-10-05 simonpj@microsoft.comRemove unused OccInfo (simplification) tree | commitdiff
2006-10-05 simonpj@microsoft.comTake 2 on the recursive-rule fix tree | commitdiff
2006-10-05 simonpj@microsoft.comTake advantage of non-rec-ness in occurrence analysis... tree | commitdiff
2006-10-04 simonpj@microsoft.comComments only tree | commitdiff
2006-10-04 simonpj@microsoft.comImprove liberate-case to take account of coercions tree | commitdiff
2006-10-04 simonpj@microsoft.comSecond bite at the rules-only idea tree | commitdiff
2006-10-04 simonpj@microsoft.comEliminate case-of-cast tree | commitdiff
2006-10-03 simonpj@microsoft.comMake recursion and RULES interact better tree | commitdiff
2006-09-27 simonpj@microsoft.comFix exprIsConApp_maybe (wasn't dealing properly with... tree | commitdiff
2006-09-23 simonpj@microsoft.comTrim imports, and remove some dead code tree | commitdiff
2006-09-20 Manuel M T ChakravartyClean up and refactor in SimplUtils.mkCase1 (identity... tree | commitdiff
2006-09-20 Manuel M T ChakravartyIndexed newtypes tree | commitdiff
2006-09-20 Manuel M T ChakravartyFix problem with selectors for GADT records with unboxe... tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix default case filling-in for GADTs tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix big-lambda eta expansion, add comments tree | commitdiff
2006-09-20 Manuel M T Chakravartyfix some coercion kind representation things, extend... tree | commitdiff
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs tree | commitdiff
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes... tree | commitdiff
2006-09-19 Manuel M T ChakravartyAdapt Simplify to conditional envs tree | commitdiff
2006-09-19 Manuel M T ChakravartyAdapt SimplUtils.getContArgs to conditional SubstEnv tree | commitdiff
2006-09-18 Manuel M T Chakravartyfix out-of-scope variable tree | commitdiff
2006-09-15 Manuel M T ChakravartyMassive patch for the first months work adding System... tree | commitdiff
2006-08-09 simonpj@microsoft.comChange ASSERT to WARN tree | commitdiff
2006-08-01 kevind@bu.eduAdd missing Cast cases to libCase and scExpr tree | commitdiff
2006-08-17 simonpj@microsoft.comDo not CSE in INLINE and NOINLINE things tree | commitdiff
2006-08-16 simonpj@microsoft.comGet dead-ness right in knownCon tree | commitdiff
2006-08-16 simonpj@microsoft.comRe-factor mkAtomicArgs and completeNonRecX tree | commitdiff
2006-08-16 simonpj@microsoft.comAnother try at the continuation-swapping stuff tree | commitdiff
2006-08-16 simonpj@microsoft.comDon't build unnecessary lets in knownCon tree | commitdiff
2006-08-16 simonpj@microsoft.comComments only tree | commitdiff
2006-08-15 simonpj@microsoft.comTypo in patch that dealt with duplicating continuations... tree | commitdiff
2006-08-14 simonpj@microsoft.comBe more conservative about duplicating continuations tree | commitdiff
2006-08-14 simonpj@microsoft.comInline into tail-called constructor args tree | commitdiff
2006-08-10 simonpj@microsoft.comAdd an IAmDead case to postInlineUnconditionally, and... tree | commitdiff
2006-08-10 simonpj@microsoft.comDo not repeatedly simplify an argument more than once tree | commitdiff
2006-08-10 simonpj@microsoft.comDo not call preInlineUnconditionally in simplNonRecX tree | commitdiff
2006-08-10 simonpj@microsoft.comMake postInlineUnconditaionally more conservative tree | commitdiff
2006-07-12 simonpj@microsoft.comExperimental flag -fdicts-cheap tree | commitdiff
2006-06-21 simonpj@microsoft.comArity and eta-expansion tuning tree | commitdiff
2006-06-05 simonpj@microsoft.comRemove InlinePlease and add inline function and RULE tree | commitdiff
2006-05-22 simonpj@microsoft.comInline in a call argument if the caller has RULES tree | commitdiff
2006-05-22 simonpj@microsoft.comAdd idHasRules tree | commitdiff
2006-05-18 simonpj@microsoft.comFix a nasty continuation-duplication bug tree | commitdiff
2006-05-18 simonpj@microsoft.comMake simplifier report which phase it is doing in ... tree | commitdiff
2006-05-17 simonpj@microsoft.comSpelling correction tree | commitdiff
2006-05-17 simonpj@microsoft.comRetain INLINE pragma information during indirection... tree | commitdiff
2006-05-04 simonpj@microsoft.comMake rules available in RHS tree | commitdiff
2006-04-12 simonpj@microsoft.comImprove pruning of case alternatives to account for... tree | commitdiff
2006-04-07 Simon MarlowReorganisation of the source tree tree | commitdiff
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)