This instance will be upgraded to Heptapod 0.23.2 on 2021-08-05 at 11:00 UTC+2 (a few minutes of down time)

Commit 3e85a9b1 authored by wenzelm's avatar wenzelm
Browse files

adapted to Isabelle/0110e2e2964c;

parent be5e2dcd71e3
......@@ -54,7 +54,7 @@ fun compile_ml_file mode source =
if not (Process_Result.ok res) orelse err <> "" then
error "CakeML: ML compilation failed"
else
(File.write output (trim_line out); output)
(File.write output out; output)
end
fun compile_ml mode source =
......@@ -120,7 +120,7 @@ fun eval mode source =
if not (Process_Result.ok res) orelse err <> "" then
error "CakeML: evaluation failed"
else
trim_line out
out
end
fun eval_source mode =
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment