Kind and type checking of indexed types
[ghc.git] / compiler / simplCore /
2006-09-20  Manuel M T ChakravartyFix problem with selectors for GADT records with unboxe...
2006-09-20  Manuel M T Chakravartyfix default case filling-in for GADTs
2006-09-20  Manuel M T Chakravartyfix big-lambda eta expansion, add comments
2006-09-20  Manuel M T Chakravartyfix some coercion kind representation things, extend...
2006-09-20  Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-09-20  Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes...
2006-09-19  Manuel M T ChakravartyAdapt Simplify to conditional envs
2006-09-19  Manuel M T ChakravartyAdapt SimplUtils.getContArgs to conditional SubstEnv
2006-09-18  Manuel M T Chakravartyfix out-of-scope variable
2006-09-15  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-08-09  simonpj@microsoft.comChange ASSERT to WARN
2006-08-01  kevind@bu.eduAdd missing Cast cases to libCase and scExpr
2006-08-17  simonpj@microsoft.comDo not CSE in INLINE and NOINLINE things
2006-08-16  simonpj@microsoft.comGet dead-ness right in knownCon
2006-08-16  simonpj@microsoft.comRe-factor mkAtomicArgs and completeNonRecX
2006-08-16  simonpj@microsoft.comAnother try at the continuation-swapping stuff
2006-08-16  simonpj@microsoft.comDon't build unnecessary lets in knownCon
2006-08-16  simonpj@microsoft.comComments only
2006-08-15  simonpj@microsoft.comTypo in patch that dealt with duplicating continuations...
2006-08-14  simonpj@microsoft.comBe more conservative about duplicating continuations
2006-08-14  simonpj@microsoft.comInline into tail-called constructor args
2006-08-10  simonpj@microsoft.comAdd an IAmDead case to postInlineUnconditionally, and...
2006-08-10  simonpj@microsoft.comDo not repeatedly simplify an argument more than once
2006-08-10  simonpj@microsoft.comDo not call preInlineUnconditionally in simplNonRecX
2006-08-10  simonpj@microsoft.comMake postInlineUnconditaionally more conservative
2006-07-12  simonpj@microsoft.comExperimental flag -fdicts-cheap
2006-06-21  simonpj@microsoft.comArity and eta-expansion tuning
2006-06-05  simonpj@microsoft.comRemove InlinePlease and add inline function and RULE
2006-05-22  simonpj@microsoft.comInline in a call argument if the caller has RULES
2006-05-22  simonpj@microsoft.comAdd idHasRules
2006-05-18  simonpj@microsoft.comFix a nasty continuation-duplication bug
2006-05-18  simonpj@microsoft.comMake simplifier report which phase it is doing in ...
2006-05-17  simonpj@microsoft.comSpelling correction
2006-05-17  simonpj@microsoft.comRetain INLINE pragma information during indirection...
2006-05-04  simonpj@microsoft.comMake rules available in RHS
2006-04-12  simonpj@microsoft.comImprove pruning of case alternatives to account for...
2006-04-07  Simon MarlowReorganisation of the source tree