src/Pure/library.ML
changeset 17545 1ba448f96af1
parent 17540 f662416aa5f2
child 17756 d4a35f82fbb4
     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);