Destructuring bind failures in compiler on syntactically defective code

Bug #1738638 reported by Paul F. Dietz
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Fix Released
Low
Douglas Katzman

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]

Revision history for this message
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)
Changed in sbcl:
status: New → Triaged
importance: Undecided → Low
Jan Moringen (scymtym)
Changed in sbcl:
assignee: nobody → Jan Moringen (scymtym)
Stas Boukarev (stassats)
tags: added: malformed-source
Revision history for this message
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)
Changed in sbcl:
status: Triaged → In Progress
Revision history for this message
Douglas Katzman (dougk) wrote :
Changed in sbcl:
assignee: Jan Moringen (scymtym) → nobody
assignee: nobody → Douglas Katzman (dougk)
status: In Progress → Fix Committed
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.