Well-Specified-Common-Lisp
Well-Specified-Common-Lisp copied to clipboard
A specification of an improvement to the Common Lisp standard
The CASE page talks about whether something "matches" something else. This term is not defined on the page nor in the glossary: it should be change to "is the same...
5.1.2.3 VALUES Forms as Places http://www.lispworks.com/documentation/HyperSpec/Body/05_abc.htm says that`(setf (values a b) (values 1 2))` should assign 1 to a, and 2 to b. This generally works in implementations, but when...
IRC logs: ``` 10:53 < phoe> what is the concrete behavior of *PRINT-CIRCLE* with regard to Common Lisp primitive types? circle-printing a list like (1 1 1) does not result...
The ANS [definition of =](http://clhs.lisp.se/Body/f_eq_sle.htm) says: "The value of = is true if all numbers are the same in value; otherwise it is false. Two complexes are considered equal by...
https://github.com/robert-strandh/Well-Specified-Common-Lisp/blob/cda6d5ef97b0343a63d6e90efe1a4464b287258f/dpANS/concept-loop.tex#L1391 All the main free implementations of CL are not conforming on this point. (also, they don't document it). ``` ;; Implementations return NIL: (let ((last (list 1 2 3)))...
Ideally single pdflatex command should be sufficient to compile everything.
In the description of [`READ-PRESERVING-WHITESPACE`](https://github.com/robert-strandh/Well-Specified-Common-Lisp/blob/3a31428100f9cbdbc69ed931c5d11195ab0219ce/dpANS/dict-reader.tex#L228), the second instance of `READ` (highlighted and crossed out below) in the third paragraph (denoted by the comment `22.2.1 13`) should instead be `READ-PRESERVING-WHITESPACE`: >...