Hi. I was trying to get Verrazano up and running on my machine, and I noticed that generated bindings would not happily C-c C-k for me in Emacs. I reduced it to the following test case:

--- some-file.lisp ---

(in-package :cl-user)

(defpackage :test-package (:use :cffi :common-lisp))

(in-package :test-package)

(cffi::defctype sqlite-int64 :long-long) (cffi::defctype* sqlite-int99 :long-long) (cffi:defcfun ("foo" foo) :int (arg1 sqlite-int64)) (cffi:defcfun ("bar" bar) :int (arg1 sqlite-int99))

--- end some-file.lisp ---

If you're in a SLIME session with CFFI already loaded, compiling this file once will result in an error. Compiling it again will make it work.

If you compile just the cffi:defctype* declaration with C-c C-c, then try compiling the file, it works.

Presumably, defcfun wants the types in its arg lists to be available at compile time, and defctype* doesn't make them available?

That said, we shouldn't really be using defctype* at all, right? Slightly more clever processing of definitions should obviate any need for it.

Sincerely, Rayiner Hashem