replaced infix also by |>
authorwenzelm
Wed Jun 01 15:42:25 1994 +0200 (1994-06-01)
changeset 410c8171ee32744
parent 409 54fcef4db0db
child 411 4860901706db
replaced infix also by |>
src/Pure/library.ML
src/Pure/sign.ML
     1.1 --- a/src/Pure/library.ML	Wed Jun 01 13:18:35 1994 +0200
     1.2 +++ b/src/Pure/library.ML	Wed Jun 01 15:42:25 1994 +0200
     1.3 @@ -18,8 +18,8 @@
     1.4  fun K x y = x;
     1.5  
     1.6  (*reverse apply*)
     1.7 -infix also;
     1.8 -fun (x also f) = f x;
     1.9 +infix |>;
    1.10 +fun (x |> f) = f x;
    1.11  
    1.12  (*combine two functions forming the union of their domains*)
    1.13  infix orelf;
     2.1 --- a/src/Pure/sign.ML	Wed Jun 01 13:18:35 1994 +0200
     2.2 +++ b/src/Pure/sign.ML	Wed Jun 01 15:42:25 1994 +0200
     2.3 @@ -547,27 +547,27 @@
     2.4  
     2.5  val pure =
     2.6    make_sign (Syntax.type_syn, tsig0, Symtab.null) [] "#"
     2.7 -  also add_types
     2.8 +  |> add_types
     2.9     (("fun", 2, NoSyn) ::
    2.10      ("prop", 0, NoSyn) ::
    2.11      ("itself", 1, NoSyn) ::
    2.12      Syntax.Mixfix.pure_types)
    2.13 -  also add_classes [([], logicC, [])]
    2.14 -  also add_defsort logicS
    2.15 -  also add_arities
    2.16 +  |> add_classes [([], logicC, [])]
    2.17 +  |> add_defsort logicS
    2.18 +  |> add_arities
    2.19     [("fun", [logicS, logicS], logicS),
    2.20      ("prop", [], logicS),
    2.21      ("itself", [logicS], logicS)]
    2.22 -  also add_syntax Syntax.Mixfix.pure_syntax
    2.23 -  also add_trfuns Syntax.pure_trfuns
    2.24 -  also add_consts
    2.25 +  |> add_syntax Syntax.Mixfix.pure_syntax
    2.26 +  |> add_trfuns Syntax.pure_trfuns
    2.27 +  |> add_consts
    2.28     [("==", "['a::{}, 'a] => prop", Mixfix ("(_ ==/ _)", [3, 2], 2)),
    2.29      ("=?=", "['a::{}, 'a] => prop", Mixfix ("(_ =?=/ _)", [3, 2], 2)),
    2.30      ("==>", "[prop, prop] => prop", Mixfix ("(_ ==>/ _)", [2, 1], 1)),
    2.31      ("all", "('a => prop) => prop", Binder ("!!", 0)),
    2.32      ("TYPE", "'a itself", NoSyn),
    2.33      (Syntax.constrainC, "'a::{} => 'a", NoSyn)]
    2.34 -  also add_name "Pure";
    2.35 +  |> add_name "Pure";
    2.36  
    2.37  
    2.38  end;