# HG changeset patch # User haftmann # Date 1223534848 -7200 # Node ID 3147236326ea7defe961903a03db44c5657d8947 # Parent 1e84256d1a8ab223dc1b8043d97ea452ee98fda5 removed legacy |>>> diff -r 1e84256d1a8a -r 3147236326ea src/Pure/library.ML --- a/src/Pure/library.ML Thu Oct 09 08:47:27 2008 +0200 +++ b/src/Pure/library.ML Thu Oct 09 08:47:28 2008 +0200 @@ -9,7 +9,6 @@ See also General/basics.ML for the most fundamental concepts. *) -infix 1 |>>> infix 2 ? infix 3 o oo ooo oooo infix 4 ~~ upto downto @@ -24,7 +23,6 @@ val K: 'a -> 'b -> 'a val curry: ('a * 'b -> 'c) -> 'a -> 'b -> 'c val uncurry: ('a -> 'b -> 'c) -> 'a * 'b -> 'c - val |>>> : ('a * 'c) * ('a -> 'b * 'd) -> 'b * ('c * 'd) val ? : bool * ('a -> 'a) -> 'a -> 'a val oo: ('a -> 'b) * ('c -> 'd -> 'a) -> 'c -> 'd -> 'b val ooo: ('a -> 'b) * ('c -> 'd -> 'e -> 'a) -> 'c -> 'd -> 'e -> 'b @@ -257,9 +255,6 @@ fun curry f x y = f (x, y); fun uncurry f (x, y) = f x y; -(*application and structured results -- old version*) -fun (x, y) |>>> f = let val (x', z) = f x in (x', (y, z)) end; - (*conditional application*) fun b ? f = fn x => if b then f x else x;