5 Aug
2003
5 Aug
'03
1:55 a.m.
At 2003-08-04 18:19, Ben Rudiak-Gould wrote:
((\a -> ((a,\@x -> @x) {@x = 2})) (\@x -> @x),\@x -> @x) {@x = 1} ^^^ ((\@x -> @x,\@x -> @x) {@x = 2},\@x -> @x) {@x = 1}
This reduction is incorrect.
It's a simple beta-reduction, it must be correct. b :: (?x :: Int) => Int b = \@x -> @x f :: ((?x :: Int) => Int) -> (Int,Int) f = \a -> ((a,\@x -> @x) {@x = 2}) f b :: (Int,Int) f b = ((b,\@x -> @x) {@x = 2}) -- Ashley Yakeley, Seattle WA