> What might be better is a hack of cmcat that allowed you to register > preprocessor symbols with CM from the command line, something like > cmcat -DMLton foo.cm It should be easy enough to hack cmcat to do this using CM.symval.