Hacker News Reader

Comment by moonchild | Hacker News Reader

> Simplest counterexample: (l,r) = (1,0)

Then r-l is 0-1, which underflows.

  ghci> (0 :: Word) - (1 :: Word)
  18446744073709551615

> Then r-l is 0-1, which underflows.

True. Then (l,r) = (18446744073709551615,0) is a counterexample, since r-l = 1.

So is it not true that it is not true?

18446744073709551615 is greater than 1, isn't it?

Ah, of course, sorry!