tuned K;
authorwenzelm
Tue Jul 05 18:11:59 2005 +0200 (2005-07-05)
changeset 16694f8ca69762221
parent 16693 75f39d66425d
child 16695 dc8c868e910b
tuned K;
src/Pure/library.ML
     1.1 --- a/src/Pure/library.ML	Tue Jul 05 16:49:15 2005 +0200
     1.2 +++ b/src/Pure/library.ML	Tue Jul 05 18:11:59 2005 +0200
     1.3 @@ -296,7 +296,7 @@
     1.4  fun curry f x y = f (x, y);
     1.5  fun uncurry f (x, y) = f x y;
     1.6  fun I x = x;
     1.7 -fun K x y = x;
     1.8 +fun K x = fn y => x;
     1.9  
    1.10  (*reverse apply*)
    1.11  fun (x |> f) = f x;