ccl icon indicating copy to clipboard operation
ccl copied to clipboard

CCL:FUNCTION-INFORMATION does not return type information

Open galdor opened this issue 2 years ago • 0 comments

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.

galdor avatar Sep 24 '23 11:09 galdor