# HG changeset patch
# User wenzelm
# Date 1544783758 -3600
# Node ID 95494ec22c711535c256a5e590b7367302aa777d
# Parent  54a95e1199cb445af17e2e4378d750739d42969f
proper platform path for Windows;

diff -r 54a95e1199cb -r 95494ec22c71 src/Pure/Tools/ghc.ML
--- a/src/Pure/Tools/ghc.ML	Fri Dec 14 11:35:21 2018 +0100
+++ b/src/Pure/Tools/ghc.ML	Fri Dec 14 11:35:58 2018 +0100
@@ -83,8 +83,8 @@
     val template_path = Path.append dir (Path.basic name |> Path.ext "hsfiles");
     val _ = File.write template_path (project_template {depends = depends, modules = modules});
     val {rc, err, ...} =
-      Bash.process ("cd " ^ File.bash_path dir ^
-        "; isabelle ghc_stack new " ^ Bash.string name ^ " --bare " ^ File.bash_path template_path);
+      Bash.process ("cd " ^ File.bash_path dir ^ "; isabelle ghc_stack new " ^ Bash.string name ^
+        " --bare " ^ Bash.string (File.platform_path template_path));
   in if rc = 0 then () else error err end;
 
 end;