On Tue, May 13, 2008 at 4:51 PM, Attila Lendvai <attila.lendvai@gmail.com> wrote:
it may be only a heuristic, but most of the time the return value could be annotated which would help the compiler.
Sounds straightforward for integer types, and there's a pointer type somewhere as well. What about floats? From the manual: "On most but not all systems, :float and :double represent a Lisp single-float and double-float, respectively. It is not so useful to consider the relationship between Lisp types and C types as isomorphic, as simply to recognize the relationship, and relative precision, among each respective category." I don't remember what the implications are.
it would also be useful if there was a way to tell defcfun to declare the emitted defun to be inline.
Why not let the user decide that? -- Luís Oliveira http://student.dei.uc.pt/~lmoliv/