Clozure / ccl

Clozure Common Lisp
http://ccl.clozure.com
Apache License 2.0
840 stars 105 forks source link

CCL:FUNCTION-INFORMATION does not return type information #458

Open galdor opened 9 months ago

galdor commented 9 months ago

Given the following code:

(defpackage :example
  (:use :cl))

(in-package :example)

(declaim (ftype (function (float float) float) foo))
(defun foo (a b)
  (+ a b))

(CCL:FUNCTION-INFORMATION 'EXAMPLE::FOO) yields (VALUES FUNCTION NIL NIL). Given the top-level FTYPE declaration, I would expect the third value (an alist) to contain a (FTYPE FUNCTION (FLOAT FLOAT) FLOAT) entry, as described in CLtL2 8.5. Environments.