[Haskell-cafe] [] \\ [1..] diverges - intended?

Niklas Hambüchen mail at nh2.me
Sat Jul 26 19:39:01 UTC 2014


Hi,

I just noticed that

  import Data.List
  [] \\ [1..]

diverges, although technically it doesn't have to (the docs suggest to
me that it could just be [], and a non-diverging implementation is
possible).

Same for [1,2] \\ [1..] of course.

Was this intended?


More information about the Haskell-Cafe mailing list