src/Pure/ML-Systems/smlnj.ML

 fun install_pp (path, pp) = CompilerPPTable.install_pp path pp;
 
 
 (* ML command execution *)
 
-fun use_text (tune: string -> string) (line: int, name) (print, err) verbose txt =
+fun use_text (tune: string -> string) _ (line: int, name) (print, err) verbose txt =
   let
     val ref out_orig = Control.Print.out;
 
     val out_buffer = ref ([]: string list);
     val out = {say = (fn s => out_buffer := s :: ! out_buffer), flush = (fn () => ())};

         err ((if name = "" then "" else "Error in " ^ name ^ "\n") ^ output ()); raise exn);
     Control.Print.out := out_orig;
     if verbose then print (output ()) else ()
   end;
 
-fun use_file tune output verbose name =
+fun use_file tune _ output verbose name =
   let
     val instream = TextIO.openIn name;
     val txt = Exn.release (Exn.capture TextIO.inputAll instream before TextIO.closeIn instream);
   in use_text tune (1, name) output verbose txt end;