Destructuring bind failures in compiler on syntactically defective code

Bug #1738638 reported by Paul F. Dietz on 2017-12-17
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Low
Jan Moringen

Bug Description

(compile nil '(lambda (&key ((x) 1)) x))

==>

error while parsing arguments to DESTRUCTURING-BIND:
  too few elements in
    (X)
  to satisfy lambda list
    (SB-C::KEYWORD-NAME SB-C::VAR):
  exactly 2 expected, but got 1
   [Condition of type SB-KERNEL::ARG-COUNT-ERROR]

Paul F. Dietz (paul-f-dietz) wrote :

This is just one example of how that can failure. Very easy to generate other defective lambda lists that cause unhandled errors to be thrown.

Stas Boukarev (stassats) on 2017-12-17
Changed in sbcl:
status: New → Triaged
importance: Undecided → Low
Jan Moringen (scymtym) on 2017-12-18
Changed in sbcl:
assignee: nobody → Jan Moringen (scymtym)
Stas Boukarev (stassats) on 2017-12-18
tags: added: malformed-source
Paul F. Dietz (paul-f-dietz) wrote :

There are also problems with malformed MACROLET. If those are not fixed with this ticket I'll open another one.

Jan Moringen (scymtym) on 2017-12-19
Changed in sbcl:
status: Triaged → In Progress
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers