At 2003-08-04 18:19, Ben Rudiak-Gould wrote: >> ((\a -> ((a,[EMAIL PROTECTED] -> @x) [EMAIL PROTECTED] = 2})) ([EMAIL PROTECTED] -> >> @x),[EMAIL PROTECTED] -> @x) [EMAIL PROTECTED] = 1} > ^^^ >> (([EMAIL PROTECTED] -> @x,[EMAIL PROTECTED] -> @x) [EMAIL PROTECTED] = 2},[EMAIL >> PROTECTED] -> @x) [EMAIL PROTECTED] = 1} > >This reduction is incorrect.
It's a simple beta-reduction, it must be correct. b :: (?x :: Int) => Int b = [EMAIL PROTECTED] -> @x f :: ((?x :: Int) => Int) -> (Int,Int) f = \a -> ((a,[EMAIL PROTECTED] -> @x) [EMAIL PROTECTED] = 2}) f b :: (Int,Int) f b = ((b,[EMAIL PROTECTED] -> @x) [EMAIL PROTECTED] = 2}) -- Ashley Yakeley, Seattle WA _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
