Hi,
I've found the following test case:
(let ()
(define-record-type (make-record) record?)
(eq? (record-type-predicate ()) record?))
Is this required by the SRFI? The description of record-type-predicate
doesn't say so.
The only place where the specification may say so is when it talks about *the* record type predicate of the record in the definition of record-type-predicate.
However, this is an artifact from the a previous version of the draft (where the predicate served also the record-type predicate), so we should change the "the" to an "a".
Can I assume the test case is invalid? (It'd be easier for me to
implement this SRFI, then)
Yes. The test case will be rewritten to reflect what the SRFI says.
Best,
Marc
Cheers,
--
_/_/
Takashi Kato
E-mail: ktakashi19@gmail.com
To unsubscribe from this list please goto http://www.simplelists.com/confirm.php?u=6GNcf4uDlvn3bUuwvrqorjunSxFDO5L0