parent
9568154248
commit
5abff44a3f
2
Changes
2
Changes
|
@ -176,7 +176,7 @@ Working version
|
|||
points to the grammar.
|
||||
(Andreas Abel, review by Xavier Leroy)
|
||||
|
||||
- #9283: add a new toplevel directive `#use_output "<command>"` to
|
||||
- #9283, #9455, #9457: add a new toplevel directive `#use_output "<command>"` to
|
||||
run a command and evaluate its output.
|
||||
(Jérémie Dimino, review by David Allsopp)
|
||||
|
||||
|
|
|
@ -445,7 +445,7 @@ let use_file ppf wrap_mode name =
|
|||
| filename ->
|
||||
let ic = open_in_bin filename in
|
||||
Misc.try_finally ~always:(fun () -> close_in ic)
|
||||
(fun () -> use_channel ppf false ic name filename)
|
||||
(fun () -> use_channel ppf wrap_mode ic name filename)
|
||||
| exception Not_found ->
|
||||
fprintf ppf "Cannot find file %s.@." name;
|
||||
false
|
||||
|
|
Loading…
Reference in New Issue