From 0fb11ae43259bfa3d07e2da97e644caaff65c477 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Mon, 28 Apr 2008 18:03:27 +0200 Subject: Fix type-checking of SRFI-1 `partition'. --- srfi/ChangeLog | 5 +++++ srfi/srfi-1.c | 11 +++++++++-- 2 files changed, 14 insertions(+), 2 deletions(-) (limited to 'srfi') diff --git a/srfi/ChangeLog b/srfi/ChangeLog index 65ea3e982..1f6c599a8 100644 --- a/srfi/ChangeLog +++ b/srfi/ChangeLog @@ -1,3 +1,8 @@ +2008-04-28 Ludovic Courtès + + * srfi-1.c (scm_srfi1_partition): Properly type-check LIST. + Reported by Julian Graham . + 2008-04-27 Ludovic Courtès * srfi-1.c: Include . diff --git a/srfi/srfi-1.c b/srfi/srfi-1.c index 2989a25cf..35815b32f 100644 --- a/srfi/srfi-1.c +++ b/srfi/srfi-1.c @@ -1667,6 +1667,7 @@ SCM_DEFINE (scm_srfi1_partition, "partition", 2, 0, 0, /* In this implementation, the output lists don't share memory with list, because it's probably not worth the effort. */ scm_t_trampoline_1 call = scm_trampoline_1(pred); + SCM orig_list = list; SCM kept = scm_cons(SCM_EOL, SCM_EOL); SCM kept_tail = kept; SCM dropped = scm_cons(SCM_EOL, SCM_EOL); @@ -1675,8 +1676,14 @@ SCM_DEFINE (scm_srfi1_partition, "partition", 2, 0, 0, SCM_ASSERT(call, pred, 2, FUNC_NAME); for (; !SCM_NULL_OR_NIL_P (list); list = SCM_CDR(list)) { - SCM elt = SCM_CAR(list); - SCM new_tail = scm_cons(SCM_CAR(list), SCM_EOL); + SCM elt, new_tail; + + /* Make sure LIST is not a dotted list. */ + SCM_ASSERT (scm_is_pair (list), orig_list, SCM_ARG2, FUNC_NAME); + + elt = SCM_CAR (list); + new_tail = scm_cons (SCM_CAR (list), SCM_EOL); + if (scm_is_true (call (pred, elt))) { SCM_SETCDR(kept_tail, new_tail); kept_tail = new_tail; -- cgit v1.2.1