() Cecil Westerhof <ce...@decebal.nl>
() Sat, 19 Jun 2010 17:05:50 +0200

       (main ("temp/input" "dummy.log" "^ +" "1234567890"))

To answer this, you can try the following experiment:

  $ cat > program <<EOF
  (define (main args) (write args) (newline) (exit #t))
  (main (command-line))
  EOF
  $ guile -s program some args

Re performance, take a look at the lower-level procedures used to
implement the high-level ‘read-line’.  The lowest ones require an
explicit buffer to be passed in by the caller.  If you modify your
program to use these, you can control the timing and frequency of
that buffer's allocation, and thus improve the program's performance.

thi

Reply via email to