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 2fa3c0da authored by wenzelm's avatar wenzelm
Browse files

more accurate process_result;

parent fedf84a4c625
......@@ -53,7 +53,7 @@ fun compile_ml_file mode source =
if rc <> 0 orelse err <> "" then
error "CakeML: ML compilation failed"
else
(File.write output out; output)
(File.write output (trim_line out); output)
end
fun compile_ml mode source =
......@@ -115,7 +115,7 @@ fun eval mode source =
if rc <> 0 orelse err <> "" then
error "CakeML: evaluation failed"
else
out
trim_line 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