I don't know how Haskell should behave on this. Consider this function:
elemOf (x,y) = (x,y) `elem` [ (a,b) | a <- [0..], b <- [0..] ]

If I try to query elemOf (1,1), the interpreter keeps searching and
searching but it never makes it. But if I query elemOf (0,1) (or anything as
long as the first element is 0), it can find it easily. I wonder how Hugs
handles this.

>From my point of view, instead of starting from (1,0), Hugs starts from
(0,0), which will never finish since the limit of the second element is
infinite.
-- 
View this message in context: 
http://www.nabble.com/elem-of-infinite-set-of-tuple-tp17268995p17268995.html
Sent from the Haskell - Hugs-Bugs mailing list archive at Nabble.com.

_______________________________________________
Hugs-Bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/hugs-bugs

Reply via email to