Greetings! IMHO, this is a pretty useful feature of GCL, which helps in auto-decompressing compressed files, outputting straight to a printer, etc. It also matches the unix convention of "pipes as file objects" -- e.g. gnuplot and many other programs work this way.
Perhaps some predicate on the stream would help? If memory serves, the ansi standard has such notions, e.g. 'file-streams'. Take care, Matt Kaufmann <[EMAIL PROTECTED]> writes: > Hi, Camm -- > > Bob Boyer pointed out something scary to me back in May, and I'm > finally getting around to asking you about it. He noticed that by > executing (open "|kill -9 -1") in GCL, you can logout and kill all > your processes! Or just start up GCL in Linux, suspend and use ps to > get the process id -- say it's 23327 -- and then do this to kill your > GCL: > > (open "|kill -9 23327") > > This is scary from an ACL2 perspective, when I'd expected that open > just does an open. I suppose we could look for a first character of > #\| and cause an error in that case. But maybe you want to consider > eliminating this GCL feature? > > Thanks -- > -- Matt > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
