| 12345678910111213 |
- open Types
- (* Commandline args are stored in a global record
- * (yes, it is a bit dirty, but I don't know how to do this without passing
- * [args] to every function). *)
- let args = {
- infile = None;
- outfile = None;
- verbose = 1;
- cpp = true;
- optimize = true;
- endphase = "";
- }
|