Re: controlling resource usage

Sounds to me like your describing Sittampalam's and de Moor's MAG system. http://web.comlab.ox.ac.uk/oucl/research/areas/progtools/mag.htm

Yes! That's very close to what I was thinking of. The only difference is that they focus on source to source transformations, where I was thinking of making the whole compilation (after type-checking) available for modification, in particular being able to play with store usage would be useful. Jón -- Jón Fairbairn Jon.Fairbairn@cl.cam.ac.uk 31 Chalmers Road jf@cl.cam.ac.uk Cambridge CB1 3SZ +44 1223 570179 (after 14:00 only, please!)