read headers terminated by an empty line

(def read-headers ((o s (stdin)))
  (accum a
    (whiler line (readline s) blank
      (a line))))

Returns the list of headers read from the input stream (one per line), and the input stream is left at the position following the empty line (at the beginning of the body).


This hack depends on arc3.1 and readline1.


Same as Arc.

Contact me

Twitter: awwx
Email: andrew.wilcox [at]