Throw exception on stream error during close, or I/O operations. This

is needed for pipes that terminate abnormally or return failed
termination. Pipe and stdio streams have an extra description field
so they are printed in a readable way.

1 files changed, 2 insertions, 2 deletions

diff --git a/txr.c b/txr.c
index b7dcbe2a..c68b4d47 100644
--- a/txr.c
+++ b/txr.c
@@ -309,7 +309,7 @@ static int txr_main(int argc, char **argv)
       FILE *in = fopen(c_str(spec_file_str), "r");
       if (in == 0)
         uw_throwcf(file_error, "unable to open %s", c_str(spec_file_str));
-      yyin_stream = make_stdio_stream(in, t, nil);
+      yyin_stream = make_stdio_stream(in, spec_file_str, t, nil);
     } else {
       spec_file = "stdin";
     }
@@ -323,7 +323,7 @@ static int txr_main(int argc, char **argv)
       FILE *in = fopen(*argv, "r");
       if (in == 0)
         uw_throwcf(file_error, "unable to open %s", *argv);
-      yyin_stream = make_stdio_stream(in, t, nil);
+      yyin_stream = make_stdio_stream(in, string(*argv), t, nil);
       spec_file = *argv;
     } else {
       spec_file = "stdin";