[TAG uvsakvufomi
John Meacham <john@repetae.net>**20061123022856] 
<
[just delete HASRULE property and not rules themselves during final phase of optimization
John Meacham <john@repetae.net>**20061123022531] 
[get rid of E mangling pass, in favor of the typesafe unboxing transformation.
John Meacham <john@repetae.net>**20061123022224] 
[perform alias expansion before constructor checking when determining if types are compatable, as newtypes might have phantom arguments
John Meacham <john@repetae.net>**20061123014029] 
[be a bit more paranoid about binary data
John Meacham <john@repetae.net>**20061123013921] 
[move match into E.Rules
John Meacham <john@repetae.net>**20061122070014] 
[fix for IdMap binary instance
John Meacham <john@repetae.net>**20061122062940] 
[set prop_HASRULE on everything that is free in the head of a rule
John Meacham <john@repetae.net>**20061122061926] 
[cache free variables inside of ARules structure
John Meacham <john@repetae.net>**20061122055849] 
[move specialization creation code from Main.hs to E.FromHs, perform it when all other rules are being created as well.
John Meacham <john@repetae.net>**20061122052740] 
[move rule creation to E.FromHs, mark them as catalysts when appropriate
John Meacham <john@repetae.net>**20061122044200] 
[code cleanups
John Meacham <john@repetae.net>**20061122042802] 
[add simple utility to check for exports that are unused elsewhere
John Meacham <john@repetae.net>**20061122035743] 
[add static argument transformation, this replaces the old simple recursive transformation
John Meacham <john@repetae.net>**20061122034400] 
[divide rules into user rules, catalysts and specializations, allow dumping of them individually, clean up some code
John Meacham <john@repetae.net>**20061122023150] 
[replace more Prelude functions with more efficient versions
John Meacham <john@repetae.net>**20061121225201] 
[TAG lickaphyecky
John Meacham <john@repetae.net>**20061121110605] 
>