fun badArgs (name, args) =
(print ("Invalid arguments to " ^ name ^ "\n");
app (fn arg => Print.preface ("Argument: ", Print.p_exp arg)) args;
fun badArgs (name, args) =
(print ("Invalid arguments to " ^ name ^ "\n");
app (fn arg => Print.preface ("Argument: ", Print.p_exp arg)) args;