equal
deleted
inserted
replaced
8 begin |
8 begin |
9 |
9 |
10 ML \<open> |
10 ML \<open> |
11 Isabelle_System.with_tmp_dir "ghc" (fn dir => |
11 Isabelle_System.with_tmp_dir "ghc" (fn dir => |
12 let |
12 let |
13 val files = Generated_Files.write \<^theory>\<open>Haskell\<close> dir; |
13 val files = Generated_Files.write_files \<^theory>\<open>Haskell\<close> dir; |
14 val (out, rc) = |
14 val (out, rc) = |
15 Isabelle_System.bash_output |
15 Isabelle_System.bash_output |
16 (cat_lines |
16 (cat_lines |
17 ["set -e", |
17 ["set -e", |
18 "cd " ^ File.bash_path dir, |
18 "cd " ^ File.bash_path dir, |