~ chicken-core (chicken-5) 7d63669fd4d13f1b9a567b84675969e9cc70fe3b
commit 7d63669fd4d13f1b9a567b84675969e9cc70fe3b Author: felix <felix@call-with-current-continuation.org> AuthorDate: Sat Jul 2 23:07:02 2011 +0200 Commit: felix <felix@call-with-current-continuation.org> CommitDate: Sat Jul 2 23:07:02 2011 +0200 added foldl/foldr to types.db diff --git a/manual/Unit library b/manual/Unit library index b200fff3..d5856ee0 100644 --- a/manual/Unit library +++ b/manual/Unit library @@ -926,8 +926,8 @@ Applies {{PROCEDURE}} to the elements from {{LIST}}, beginning from the left: </enscript> Note that the order of arguments taken by {{PROCEDURE}} is different -from the {{SRFI-1}} {{fold}} procedure, but matches the more intuitive -order used in Haskell. +from the {{SRFI-1}} {{fold}} procedure, but matches the more natural +order used in Haskell and Objective Caml. ==== foldr diff --git a/types.db b/types.db index c1133982..de0d3a0b 100644 --- a/types.db +++ b/types.db @@ -293,6 +293,8 @@ (flonum-radix fixnum) (flonum? (procedure flonum? (*) boolean)) (flush-output (procedure flush-output (#!optional port) undefined)) +(foldl (procedure foldl ((procedure (* *) *) * list) *)) +(foldr (procedure foldr ((procedure (* *) *) * list) *)) (force-finalizers (procedure force-finalizers () undefined)) (fp- (procedure fp- (float float) float)) (fp* (procedure fp* (float float) float))Trap