At 2003-08-04 18:19, Ben Rudiak-Gould wrote: > [EMAIL PROTECTED] -> ((\a -> ((a,[EMAIL PROTECTED] -> @x) [EMAIL PROTECTED] = > 2})) @x) > >If we next apply (\a -> ...) to @x, something interesting happens: we >have to rename to avoid variable capture.
I don't see why, isn't this much the same as ordinary names? (\a -> ((\a -> a) 1,a)) 2 ((\a -> a) 1,2) (1,2) -- Ashley Yakeley, Seattle WA _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
