tuned;
authorwenzelm
Wed Sep 21 11:49:31 2005 +0200 (2005-09-21)
changeset 175451ba448f96af1
parent 17544 929d157d4369
child 17546 07371b92d382
tuned;
src/Pure/library.ML
     1.1 --- a/src/Pure/library.ML	Wed Sep 21 11:19:16 2005 +0200
     1.2 +++ b/src/Pure/library.ML	Wed Sep 21 11:49:31 2005 +0200
     1.3 @@ -312,11 +312,11 @@
     1.4  fun f #-> g = uncurry g o f;
     1.5  
     1.6  (*conditional application*)
     1.7 -fun b ? f = fn x => if b x then f x else x
     1.8 +fun b ? f = fn x => if b x then f x else x;
     1.9  
    1.10  (*view results*)
    1.11  fun `f = fn x => (f x, x);
    1.12 -fun tap f x = (f x; x);
    1.13 +fun tap f = fn x => (f x; x);
    1.14  
    1.15  (*composition with multiple args*)
    1.16  fun (f oo g) x y = f (g x y);