User defined pipe and redirection operators: Difference between revisions
Content added Content deleted
m (→{{header|Phix}}: factored out mainlist) |
m (→{{header|Phix}}: comment -> use new requires() builtin) |
||
Line 623: | Line 623: | ||
You could of course do things more character-by-character or line-by-line, and/or farm things out to separate |
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. |
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(). |
The distributed version also has a couple of alternatives for pipe_head() and pipe_tail(). |
||
<lang Phix>-- demo\rosetta\Fake_Redirection.exw |
<lang Phix>-- demo\rosetta\Fake_Redirection.exw |
||
requires("0.8.2") |
|||
constant fs = new_dict() -- fake file system |
constant fs = new_dict() -- fake file system |
||