Port Adapters for stdio #867

New issue

2023-09-17T18:59:41Z

vyzo commented

2023-09-17 18:59:41 +00:00

(Migrated from github.com)

We should implement the stdio zoo on top of ports: Reader/Writer, BufferedReader/Writer, and StringReader/Writer/BufferedReader/BufferedWriter.

This will let us just plug ports into the stdio and eliminate all direct usage of ports, except when using the Gambit reader/writer.

raw port reader/writer: #869
cooked port reader/writer: #929

We should implement the stdio zoo on top of ports: Reader/Writer, BufferedReader/Writer, and StringReader/Writer/BufferedReader/BufferedWriter. This will let us just plug ports into the stdio and eliminate all direct usage of ports, except when using the Gambit reader/writer. - [x] raw port reader/writer: #869 - [x] cooked port reader/writer: #929

Sign in to join this conversation.