src/ZF/Tools/cartprod.ML
changeset 33955 fff6f11b1f09
parent 26189 9808cca5c54d
child 33957 e9afca2118d4
     1.1 --- a/src/ZF/Tools/cartprod.ML	Tue Nov 24 14:37:23 2009 +0100
     1.2 +++ b/src/ZF/Tools/cartprod.ML	Tue Nov 24 17:28:25 2009 +0100
     1.3 @@ -97,7 +97,7 @@
     1.4  (*Makes a nested tuple from a list, following the product type structure*)
     1.5  fun mk_tuple pair (Type("*", [T1,T2])) tms = 
     1.6          pair $ (mk_tuple pair T1 tms)
     1.7 -             $ (mk_tuple pair T2 (Library.drop (length (factors T1), tms)))
     1.8 +             $ (mk_tuple pair T2 ((uncurry drop) (length (factors T1), tms)))
     1.9    | mk_tuple pair T (t::_) = t;
    1.10  
    1.11  (*Attempts to remove occurrences of split, and pair-valued parameters*)