clauses in restart-case incorrectly reject duplicate doc strings

Bug #1742297 reported by Paul F. Dietz on 2018-01-09
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

(restart-case (foo) (my-restart (x) "foo" "bar" x))

===>

duplicate doc string "bar"
   [Condition of type SIMPLE-ERROR]

However, these clauses are specified to contain a declaration*, not a [[ declaration* | documentation ]], so the strings there are not docstrings. This is similar to how

(let ((x 1)) "foo" "bar" x)

is not erroneous.

Stas Boukarev (stassats) wrote :

dac12c7407e364c714311b1c6fc1f9559909996f

Changed in sbcl:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers