src/Pure/net.ML
changeset 15574 b1d1b5bfc464
parent 15570 8d8c70b41bab
child 16677 6c038c13fd0f
     1.1 --- a/src/Pure/net.ML	Fri Mar 04 11:44:26 2005 +0100
     1.2 +++ b/src/Pure/net.ML	Fri Mar 04 15:07:34 2005 +0100
     1.3 @@ -165,9 +165,9 @@
     1.4  (*Skipping a term in a net.  Recursively skip 2 levels if a combination*)
     1.5  fun net_skip (Leaf _, nets) = nets
     1.6    | net_skip (Net{comb,var,alist}, nets) =
     1.7 -    Library.foldr net_skip
     1.8 -          (net_skip (comb,[]),
     1.9 -           Library.foldr (fn ((_,net), nets) => net::nets) (alist, var::nets));
    1.10 +    foldr net_skip
    1.11 +          (foldr (fn ((_,net), nets) => net::nets) (var::nets) alist)
    1.12 +          (net_skip (comb,[]))
    1.13  
    1.14  (** Matching and Unification**)
    1.15  
    1.16 @@ -185,7 +185,7 @@
    1.17    let fun rands _ (Leaf _, nets) = nets
    1.18          | rands t (Net{comb,alist,...}, nets) =
    1.19              case t of
    1.20 -                f$t => Library.foldr (matching unif t) (rands f (comb,[]), nets)
    1.21 +                f$t => foldr (matching unif t) nets (rands f (comb,[]))
    1.22                | Const(c,_) => look1 (alist, c) nets
    1.23                | Free(c,_)  => look1 (alist, c) nets
    1.24                | Bound i    => look1 (alist, string_of_bound i) nets