src/Pure/Concurrent/bash_sequential.ML

 
 Generic GNU bash processes (no provisions to propagate interrupts, but
 could work via the controlling tty).
 *)
 
-fun bash_process script =
+structure Bash =
+struct
+
+fun process script =
   let
     val id = serial_string ();
     val script_path = File.tmp_path (Path.basic ("bash_script" ^ id));
     val output_path = File.tmp_path (Path.basic ("bash_output" ^ id));
     fun cleanup () = (try File.rm script_path; try File.rm output_path);

       val _ = cleanup ();
     in {output = output, rc = rc, terminate = fn () => ()} end
     handle exn => (cleanup (); reraise exn)
   end;
 
+end;
+