[TAG yughijiar
John Meacham <john@repetae.net>**20060315012421] 
<
[pretty print ypes and coercions in a nicer way
John Meacham <john@repetae.net>**20060315012243] 
[don't convert types from the environment into schemes and back when typechecking
John Meacham <john@repetae.net>**20060315011747] 
[make lint check for duplicate definitions and check code right after conversion from Hs
John Meacham <john@repetae.net>**20060314235605] 
[when specializing due to type analysis, discard bodies of unused functions
John Meacham <john@repetae.net>**20060314234131] 
[update conventions documentation
John Meacham <john@repetae.net>**20060314233019] 
[don't do final application atomization until after post-lifting simplification
John Meacham <john@repetae.net>**20060314141512] 
[perform lint checking more often
John Meacham <john@repetae.net>**20060314093536] 
[cache whether a binding is cheap or not in the simplifier
John Meacham <john@repetae.net>**20060314064237] 
[create methods from instance rules rather than class hierarchy. replace unused functions with error in type analysis pass
John Meacham <john@repetae.net>**20060314062526] 
[rework inlining logic in simplifier
John Meacham <john@repetae.net>**20060314040158] 
[fixup the libraries after loading them
John Meacham <john@repetae.net>**20060314031248] 
[rearrange and clean up several of the predicates on core expressions
John Meacham <john@repetae.net>**20060314024314] 
[make IOErrorCont a data type rather than a synonym
John Meacham <john@repetae.net>**20060313132108] 
[TAG fautludmo
John Meacham <john@repetae.net>**20060313123933] 
>