[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Compiling GCL

From: Camm Maguire
Subject: Re: [Gcl-devel] Compiling GCL
Date: Fri, 01 Nov 2013 23:19:03 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)

Greetings, and thanks so much!

> (declaim (ftype function ensure-exported))

Why do you think this is legal from the following page from the spec?  I
think you mean either (declaim (type function ensure-exported)) or
(declaim (function ensure-exported)). 

Take care,

3.8.23 ftype                                                         


(ftype type {function-name}*)


function-name--a function name.

   type--a type specifier.

Valid Context::

declaration or proclamation

Binding Types Affected::



Specifies that the functions named by function-names are of the
functional type type.  For example:

      (declare (ftype (function (integer list) t) ith)
               (ftype (function (number) float) sine cosine))

   If one of the functions mentioned has a lexically apparent local
definition (as made by flet or labels), then the declaration applies to
that local definition and not to the global function definition.  ftype
declarations never apply to variable bindings (see type).

   The lexically apparent bindings of function-names must not be macro
definitions.  (This is because ftype declares the functional definition
of each function name to be of a particular subtype of function, and
macros do not denote functions.)


   declarations can be free declarations or bound declarations.  ftype
declarations of functions that appear before the body of a    flet or

   form that defines that function are bound declarations.  Such
declarations in other contexts are free declarations.
Camm Maguire                                        address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]