log src/mono_opt.sml

age author description
Tue, 25 Nov 2008 10:05:44 -0500 Adam Chlipala Fusing writes with recursive function calls
Tue, 11 Nov 2008 20:24:55 -0500 Adam Chlipala Fix type calculation for applying-a-case optimization
Sun, 09 Nov 2008 18:19:47 -0500 Adam Chlipala Remove some allocation