Commit e4137992 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-12-15 08:34:15 by afrisch] Menage

Original author: afrisch
Date: 2003-12-15 08:34:15+00:00
parent 1a43bad7
......@@ -159,23 +159,6 @@ let toploop () =
(try loop () with End_of_file -> ());
restore ()
let do_file s =
let chan = open_in s in
Location.push_source (`File s);
let input = Stream.of_channel chan in
let ok = Cduce.script ppf ppf_err input in
close_in chan;
if not ok then exit 1
let do_stdin () =
Location.push_source `Stream;
let input = Stream.of_channel stdin in
let ok = Cduce.script ppf ppf_err input in
if not ok then exit 1
let run s =
if s = "" then do_stdin () else do_file s
let argv args =
Value.sequence (List.rev_map Value.string_latin1 args)
......
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