src/Pure/library.ML
changeset 16694 f8ca69762221
parent 16691 539b9cc282fa
child 16705 33f38450cab6
     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;