Steel Bank Common Lisp

derived function types stupid about self-calls

Reported by Nikodemus Siivola on 2010-10-05
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Medium
Unassigned

Bug Description

(defun foo (x)
  (foo x))

(defun foo (x y)
  (foo x y))

(defun foo (x)
  (foo x x))

Compiling these definitions in a row (C-c C-c in Slime) causes the second one to complain:

; caught STYLE-WARNING:
; The function was called with two arguments, but wants exactly one.

Even worse, the third one doesn't complain!

The signature checking logic should special-case self-calls.

Changed in sbcl:
assignee: nobody → Nikodemus Siivola (nikodemus)
status: Triaged → In Progress
Nikodemus Siivola (nikodemus) wrote :

In 1.0.43.50.

Changed in sbcl:
assignee: Nikodemus Siivola (nikodemus) → nobody
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  Edit
Everyone can see this information.

Other bug subscribers