- "-q", Arg.Unit (set_b quiet_compilation), "Turn off verbose compilation";
- "-preserve", Arg.Unit (set_b dont_delete_baseuri),
- "Turns off automatic baseuri cleaning"
+ "-q", Arg.Set quiet_compilation, "Turn off verbose compilation";
+ "-preserve", Arg.Set dont_delete_baseuri,
+ "Turns off automatic baseuri cleaning";
+ "-debug", Arg.Set debug,
+ "Do not catch top-level exception (useful for backtrace inspection)";