Wouldn't an easier way to do that be to simply check in generated C (or assembler) code in the CVS? I.e., this way you would not need some ML compiler to start up from the `source'.