[TAG joycseitgan
John Meacham <john@repetae.net>**20061012005130] 
<
[turn off jumpoint optimization for now after grin devolving
John Meacham <john@repetae.net>**20061012005102] 
[when choosing jumppoint names in Grin.Simplify, be sure to not shadow any names in scope
John Meacham <john@repetae.net>**20061012002757] 
[after lifting functions to top level in Grin.Devolve, update the type environment appropriately
John Meacham <john@repetae.net>**20061012000638] 
[rename values lifted to top level to suitable global names in lambda lifter
John Meacham <john@repetae.net>**20061011104535] 
[remove newtypes in more places
John Meacham <john@repetae.net>**20061011041107] 
[when removing newtypes, evaluate any Pi applications that are exposed
John Meacham <john@repetae.net>**20061010080135] 
[make cheap-eagerness transformation annotate the creaed case statement with the correct type.
John Meacham <john@repetae.net>**20061010072556] 
[make E.TypeCheck make sure the case alternatives match the case type attached
John Meacham <john@repetae.net>**20061010065815] 
[remove newtypes from type signatures when possible
John Meacham <john@repetae.net>**20061010061035] 
[clean up E.Traverse, add emapEGH which can do something different for bound variable types
John Meacham <john@repetae.net>**20061010050618] 
[classify aliases (newtypes) into erased and non-erased varieties
John Meacham <john@repetae.net>**20061010050040] 
[start switching from lambda cube to a PTS
John Meacham <john@repetae.net>**20061010044605] 
[update big picture, add makefile that builds a pdf
John Meacham <john@repetae.net>**20061008213641] 
[add dot file to generate graph showing code motion and passes of compiler
John Meacham <john@repetae.net>**20061007225522] 
[add boxifyProgram, that replaces type varables with boxes
John Meacham <john@repetae.net>**20061006115728] 
[make emapEG recurse into the type of EPrim and EError with the right function
John Meacham <john@repetae.net>**20061006115708] 
[add Jhc@.Box, a supertype that can represent any boxed value
John Meacham <john@repetae.net>**20061006063804] 
[make slottypes check for free variables before substitution
John Meacham <john@repetae.net>**20061006055801] 
[make sure worker wrapper transform doesn't reuse ids from type of body
John Meacham <john@repetae.net>**20061006054131] 
[TAG deehebcahur
John Meacham <john@repetae.net>**20061006042251] 
>