[TAG ebnohophova
John Meacham <john@repetae.net>**20060321040437] 
<
[don't throw away use info after an eta expansion. use the etaExpandDef routine for all eta expansioning.
John Meacham <john@repetae.net>**20060321033522] 
[when pulling type out of term about to be eta expanded, substitute any type variables within the types of the extracted lambda vars
John Meacham <john@repetae.net>**20060321022441] 
[when atomizing applications, include module name in generated names. clean up main and E.LetFloat some.
John Meacham <john@repetae.net>**20060321015319] 
[check for unacconted for free variables when lint checking
John Meacham <john@repetae.net>**20060321011444] 
[add etaAnnotateProgram which will iterate until a fixpoint is reached in arity calculation.
John Meacham <john@repetae.net>**20060320113858] 
[clean up Makefile
John Meacham <john@repetae.net>**20060320113823] 
[GenUtil updates
John Meacham <john@repetae.net>**20060320113756] 
[get type from term rather than variable when eta expanding a definition
John Meacham <john@repetae.net>**20060317215327] 
[clear arity information after type analysis and specialization
John Meacham <john@repetae.net>**20060317054850] 
[make eta expansion apply to subbindings in simplifier, try to apply it to arbitrary subexpressions
John Meacham <john@repetae.net>**20060317042227] 
[only rerun optimizer if type analysis pass finds something interesting.
John Meacham <john@repetae.net>**20060317031618] 
[fix up handling of world for main function and grin generation
John Meacham <john@repetae.net>**20060317025647] 
[clean up E.Eta code some, use bottoming out info when determining whnfOrBot and isCheap
John Meacham <john@repetae.net>**20060317010612] 
[make strictness analysis handle constant primitives
John Meacham <john@repetae.net>**20060317003319] 
[new eta expander than can look through cases and lets
John Meacham <john@repetae.net>**20060317002424] 
[fix profiling
John Meacham <john@repetae.net>**20060316132952] 
[fix up some conflicts
John Meacham <john@repetae.net>**20060316131258] 
[prune unreachable combinators after mangling, document TP@ names, make programSetE reset the entry points properly
John Meacham <john@repetae.net>**20060316045205] 
[old tag: renvubbikuso
John Meacham <john@repetae.net>**20060316130149] 
[clean up FromE generation a lot. add some minor optimizations. don't bother evaluating unlifted values, just fetch them.
John Meacham <john@repetae.net>**20060316125702] 
[add some more raw names
John Meacham <john@repetae.net>**20060316124642] 
[drop coercions in the core mangler rather than when converting to grin
John Meacham <john@repetae.net>**20060316102952] 
[treat operators of constant C values as atomic, as well as memory addresses and string constants
John Meacham <john@repetae.net>**20060316063554] 
[prune unreachable combinators after mangling, document TP@ names, make programSetE reset the entry points properly
John Meacham <john@repetae.net>**20060316051633] 
[add Grin.MangleE pass before grin generation that mangles the core in various ways before converting to grin
John Meacham <john@repetae.net>**20060316044245] 
[don't clear rules when adding new ones to an existing id with rules
John Meacham <john@repetae.net>**20060316003302] 
[add a bunch of new optimization rules
John Meacham <john@repetae.net>**20060316003238] 
[don't allocate new node when case statement returns the same thing as the scrutinee
John Meacham <john@repetae.net>**20060315035051] 
[add '-l' in front of libraries when linking C code
John Meacham <john@repetae.net>**20060315032728] 
[process type arguments on case statements properly
John Meacham <john@repetae.net>**20060315032655] 
[don't add let-bound expressions to the type environment
John Meacham <john@repetae.net>**20060315032621] 
[lint program after lambda lifting, don't re-annotate rules and ensure annotate handles recursive rules properly
John Meacham <john@repetae.net>**20060315030234] 
[free up variable names once their scope has run out
John Meacham <john@repetae.net>**20060315030156] 
[get rid of Data.IORef for now
John Meacham <john@repetae.net>**20060315020148] 
[TAG yughijiar
John Meacham <john@repetae.net>**20060315012421] 
>