Variables in Haskell

Question

Why does the following Haskell script not work as expected?

find :: Eq a => a -> [(a,b)] -> [b]
find k t = [v | (k,v) <- t]

Giv

Answer 1

From the Haskell 98 Report:

As usual, bindings in list comprehensions can shadow those in outer scopes; for example:

[ x | x <- x, x <- x ] = [ z | y <- x, z <- y]

One other point: if you compile with -Wall (or specifically with -fwarn-name-shadowing) you'll get the following warning:

Warning: This binding for `k' shadows the existing binding
           bound at Shadowing.hs:4:5

Using -Wall is usually a good idea—it will often highlight what's going on in potentially confusing situations like this.