> 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 [EMAIL PROTECTED] 31 Chalmers Road [EMAIL PROTECTED] Cambridge CB1 3SZ +44 1223 570179 (after 14:00 only, please!) _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe