possible correction -- Re: std.file.write versus std.stdio.write

[dsmith]

On Wednesday, 28 November 2012 at 15:11:01 UTC, dsmith wrote:

import std.stdio; // no std.file is imported, yet the following error:

Error: std.file.write at /usr/include/dmd/phobos/std/file.d(419) conflicts with std.stdio.write!(string,string).write at /usr/include/dmd/phobos/std/stdio.d(1544)

A library imported has, in turn, import std.file