[TAG decdesthidda
John Meacham <john@repetae.net>**20061129105216] 
<
[push continuation into case branches in simplifier, re-enable some optimizations that depend on the environment
John Meacham <john@repetae.net>**20061129104337] 
[remove redundent check for bad applications and let the type checker figure it out.
John Meacham <john@repetae.net>**20061129081957] 
[make printing of case statements a bit less verbose
John Meacham <john@repetae.net>**20061129081936] 
[rearrange more of the simplifier, push contexts into lets, when doing the case-improve-default optimization, have the simplifier keep going.
John Meacham <john@repetae.net>**20061129065537] 
[include a context continuation when simplifying
John Meacham <john@repetae.net>**20061129055011] 
[get rid of 'inb' argument to simplifier, in favor of the one that is handed around in the monad
John Meacham <john@repetae.net>**20061129033503] 
[add Util.RWS, a RWS compatable Monad that is strict in its fields
John Meacham <john@repetae.net>**20061129023816] 
[make SM monad for simplification
John Meacham <john@repetae.net>**20061129020641] 
[make StatM monad strict in its statistics gathering field
John Meacham <john@repetae.net>**20061129020225] 
[add transformSkipNoStats which means a transformations return result should be tossed if no statistics were generated.
John Meacham <john@repetae.net>**20061129011959] 
[fix static argument transform so that it doesn't re-recurse into previously processed terms
John Meacham <john@repetae.net>**20061129010948] 
[switch main optimization pass to use new Program framework
John Meacham <john@repetae.net>**20061128063326] 
[remove names in the head of rules from the free variables in their body. the rule will never fire if the head names are not in scope.
John Meacham <john@repetae.net>**20061128042900] 
[cache free variables inside of ECase terms always. lazy evaluation assures we don't pay a cost for this
John Meacham <john@repetae.net>**20061128020643] 
[perfrom static argument transformation on non-toplevel recursive definitions too when at least one argument can be eliminated.
John Meacham <john@repetae.net>**20061127100119] 
[make Char enumFromThenTo instance strict in its argument.
John Meacham <john@repetae.net>**20061127093930] 
[only perform static argument transformation when there are real recursive applications, not just ones via rules
John Meacham <john@repetae.net>**20061127075831] 
[make sure rules are properly applied to currently compiling module, rearrange some code.
John Meacham <john@repetae.net>**20061127071323] 
[make freeVars take rules into account by default. Move a bunch of code around. move E binary stuff to E.Binary
John Meacham <john@repetae.net>**20061127040207] 
[move core definition to E.Type
John Meacham <john@repetae.net>**20061126104731] 
[add Show instances for IdMap and IdSet
John Meacham <john@repetae.net>**20061125122752] 
[add routine to split program into independent components, get rid of progClosed field in program in favor of progType.
John Meacham <john@repetae.net>**20061125113959] 
[Graph components should return all components, not just strongly connected ones
John Meacham <john@repetae.net>**20061125070336] 
[fix bug in printing of core, don't clear program entries by accident in E/Inline.hs
John Meacham <john@repetae.net>**20061125064213] 
[clean up code, rearrange things a bit.
John Meacham <john@repetae.net>**20061125054556] 
[add programMapProgGroups to generate and modify subprograms in dependency groups.
John Meacham <john@repetae.net>**20061125041703] 
[when chopping statistics, maintain proper counts
John Meacham <john@repetae.net>**20061125024852] 
[don't reget properties structure out of tvrInfo unnecesarily
John Meacham <john@repetae.net>**20061125024829] 
[allow workwrapping of workers
John Meacham <john@repetae.net>**20061125024804] 
[make inline checking work for anything in the HasProperties class
John Meacham <john@repetae.net>**20061125024642] 
[perform final cpr, demand, and workwraping after de-typing and boxification of program
John Meacham <john@repetae.net>**20061125020104] 
[if a ho file depends on a library we don't have loaded, then consider it out of date.
John Meacham <john@repetae.net>**20061123034901] 
[clean up code a bit
John Meacham <john@repetae.net>**20061123032401] 
[TAG uvsakvufomi
John Meacham <john@repetae.net>**20061123022856] 
>