17 Jan
2009
17 Jan
'09
10:22 p.m.
On Thu, 2009-01-15 at 13:40 +0100, Apfelmus, Heinrich wrote:
Eugene Kirpichov wrote:
Well, your program is not equivalent to the C++ version, since it doesn't bail on incorrect input.
Oops. That's because my assertion
show . read = id
is wrong. We only have
read . show = id show . read <= id (in the "less defined than" sense)
No, you only have read . show = id which often doesn't hold in practice. show . read