| changeset 19473 | d87a8838afa4 |
| parent 17412 | e26cb20ef0cc |
| child 19486 | e04e20b1253a |
--- a/src/Pure/Syntax/ast.ML Wed Apr 26 20:34:11 2006 +0200 +++ b/src/Pure/Syntax/ast.ML Wed Apr 26 22:38:05 2006 +0200 @@ -129,7 +129,7 @@ | fold_ast _ [y] = y | fold_ast c (x :: xs) = Appl [Constant c, x, fold_ast c xs]; -fun fold_ast_p c = Library.foldr (fn (x, xs) => Appl [Constant c, x, xs]); +fun fold_ast_p c = uncurry (fold_rev (fn x => fn xs => Appl [Constant c, x, xs])); (* unfold asts *)