forked from
jonmsterling.com/ocaml-forester
ocaml
Keep track of source location when running LaTeX job
Closes: https://todo.sr.ht/~jonsterling/forester/167
+4
-4
+4
-4
lib/compiler/LaTeX_pipeline.ml
+4
-4
lib/compiler/LaTeX_pipeline.ml
···
18
18
|> String.concat "\n"
19
19
20
20
(* TODO: When error occurs on stderr, there is nothing informative in the diagnostic*)
21
-
let pipe_latex_dvi ~env ~tex_source ?loc: _ kont =
21
+
let pipe_latex_dvi ~env ~tex_source ?loc kont =
22
22
let mgr = Eio.Stdenv.process_mgr env in
23
23
let@ tmp = Eio_util.with_open_tmp_dir ~env in
24
24
let tex_fn = "job.tex" in
···
39
39
Reporter.fatal
40
40
External_error
41
41
~extra_remarks: [
42
-
Asai.Diagnostic.loctextf
42
+
Asai.Diagnostic.loctextf ?loc
43
43
"Encountered fatal LaTeX error: @.@.%s@.@. while running `%s` in directory `%s`."
44
44
formatted_output
45
45
(String.concat " " cmd)
···
48
48
end;
49
49
EP.with_open_in EP.(tmp / "job.dvi") kont
50
50
51
-
let pipe_dvi_svg ~env ?loc: _ ~dvi_source ~svg_sink () =
51
+
let pipe_dvi_svg ~env ?loc ~dvi_source ~svg_sink () =
52
52
let cwd = Eio.Stdenv.cwd env in
53
53
let mgr = Eio.Stdenv.process_mgr env in
54
54
let err_buf = Buffer.create 1000 in
···
61
61
Reporter.fatal
62
62
External_error
63
63
~extra_remarks: [
64
-
Asai.Diagnostic.loctextf
64
+
Asai.Diagnostic.loctextf ?loc
65
65
"Encountered fatal error running `dvisvgm`: %s"
66
66
(Buffer.contents err_buf)
67
67
]