# HG changeset patch
# User wenzelm
# Date 1613906680 -3600
# Node ID 1d610d5524ff541cd49ca20f8ddfe208c519bd6e
# Parent  d6a664daa2852ce62887fdfc5eab3e479915fca2
clarified: proper trim_line for error;

diff -r d6a664daa285 -r 1d610d5524ff src/Pure/Tools/ghc.ML
--- a/src/Pure/Tools/ghc.ML	Sun Feb 21 11:53:05 2021 +0100
+++ b/src/Pure/Tools/ghc.ML	Sun Feb 21 12:24:40 2021 +0100
@@ -83,10 +83,10 @@
   let
     val template_path = dir + (Path.basic name |> Path.ext "hsfiles");
     val _ = File.write template_path (project_template {depends = depends, modules = modules});
-    val {rc, err, ...} =
-      Isabelle_System.bash_process
+    val _ =
+      Isabelle_System.bash_output_check
         ("cd " ^ File.bash_path dir ^ "; isabelle ghc_stack new " ^ Bash.string name ^
           " --bare " ^ File.bash_platform_path template_path);
-  in if rc = 0 then () else error err end;
+  in () end;
 
 end;