User defined pipe and redirection operators: Difference between revisions
User defined pipe and redirection operators (view source)
Revision as of 11:59, 4 November 2020
, 3 years ago→{{header|Phix}}: comment -> use new requires() builtin
m (→{{header|Phix}}: factored out mainlist) |
m (→{{header|Phix}}: comment -> use new requires() builtin) |
||
Line 623:
You could of course do things more character-by-character or line-by-line, and/or farm things out to separate
threads/tasks, but the latter would need some suspend/resume/scheduling, along with explicit eof markers.
The distributed version also has a couple of alternatives for pipe_head() and pipe_tail().
<lang Phix>-- demo\rosetta\Fake_Redirection.exw
requires("0.8.2")
constant fs = new_dict() -- fake file system
|