public Future <string> ReadLine() { if (EndOfStream) { string r = _ExtraLine ? "" : null; _ExtraLine = false; return(new Future <string>(r)); } var thunk = new ReadLineThunk { Parent = this, }; return(thunk.Run()); }
public Future<string> ReadLine() { if (EndOfStream) { string r = _ExtraLine ? "" : null; _ExtraLine = false; return new Future<string>(r); } var thunk = new ReadLineThunk { Parent = this, }; return thunk.Run(); }