changeset 33955 | fff6f11b1f09 |
parent 32784 | 1a5dde5079ac |
child 33957 | e9afca2118d4 |
--- a/src/Pure/General/scan.ML Tue Nov 24 14:37:23 2009 +0100 +++ b/src/Pure/General/scan.ML Tue Nov 24 17:28:25 2009 +0100 @@ -221,7 +221,7 @@ fun trace scan xs = let val (y, xs') = scan xs - in ((y, Library.take (length xs - length xs', xs)), xs') end; + in ((y, (uncurry take) (length xs - length xs', xs)), xs') end; (* stopper *)