[r6rs-discuss] [Formal] Plausible alists

[Andre van Tonder]

---
This message is a formal comment which was submitted to formal-comment at r6rs.org, following the requirements described at: http://www.r6rs.org/process.html
---

Name        : Andre van Tonder
Email       : andre at het.brown.edu
Type        : defect
Priority    : trivial
Component   : Mutable list arguments
Version     : 5.91
Pages       : 124
Dependencies: None

Summary:
--------

Slight defect in plausible alist description.

Description:
------------

Point 1 does not check that (car x) is a pair as is done in point 3.

Suggestion:
-----------

1) x is a pair, n is 0, and there exists a time t_1 in (t_0, t_f] such that
    (car x) is a pair at time t_1.