What are the ramifications of the anonymous type stuff? In particular,

does this mean that defctype behaves more like C's "typedef" (in that

the source type doesn't yet need to be defined)? Could any of the new

type system changes achieve that result? The dependence of defctype on

having its source type already defined makes handling automatic

declaration generation quite complicated in a lot of idiomatic C code.

Since the dependence graph of C type definitions might have cycles, it

becomes impossible to impose a total ordering on definitions. This

isn't a problem when typedefs are fully resolved to their target types

(as Verrazano does currently), but is a problem if you want the C-FFI

binding to more closely resemble the C header file with regards to type

naming. <br><br><div><span class="gmail_quote">On 8/26/05, <b class="gmail_sendername">Luis Oliveira</b> <<a href="mailto:luismbo@gmail.com">luismbo@gmail.com</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

Hello,<br><br>Here's the Changelog for the new changes to my branch since my last<br>update:<br><br>Fri Aug 26 15:47:08 WEST 2005  Luis Oliveira <<a href="mailto:loliveira@common-lisp.net">loliveira@common-lisp.net</a>

><br>   * Type system improvements and more.<br><br>   - New tests: tests/enums.lisp (4 tests) and tests/misc-types.lisp (3<br>tests).<br>   - New file: objects.lisp, skeleton of the safe typed pointer<br>interface. I<br>

     also added a :boolean type here, it's looking for a better home<br>still.<br>   - (early-types.lisp): type parsers, DEFINE-TYPE-SPEC-PARSER and<br>PARSE-TYPE.<br>     Added abbility to have anonymous types (ie. a name is no longer

<br>required<br>     for FOREIGN-TYPE). Moved DEFCTYPE to types.lisp.<br>   - (enum.lisp): improved DEFCENUM, the values for each keyword are now<br>     optional, like in C. Added the anonymous type (:enum ...)<br>   - (

types.lisp):        - Renamed :TO-C-ARG to :TO-C-DYNAMIC.        - Renamed FOREIGN-AREF to MEM-AREF and implemented compiler macros          for it.        - New exported macro: DEFINE-FOREIGN-TYPE for parameterized types.

- Change DEFINE-TYPE-TRANSLATOR back to the previous interface,          translators take aow and we have translators          available at runtime now too.        - FOREIGN-TYPEDEF's now inherit their parent type's translators.

<br>       - New :wrapper type, for anonymous typedefs with translators.<br>   - (strings.lisp): Renamed string to :string. Added new type,<br>:string+ptr.<br>   - (utils.lisp): renamed let-if to bif.<br>   - (tests/callbacks.lisp): two tests were not being run for SBCL

<br>     because I thought it triggered a bug but it's actually only one that<br>     triggers the bug. Fixed that.<br>   - Updated examples and tests to use :string instead of string.<br><br>Sun Aug 21 14:35:13 WEST 2005  Luis Oliveira <

<a href="mailto:loliveira@common-lisp.net">loliveira@common-lisp.net</a>><br>   * A couple of minor changes.<br><br>   - Move #-cffi/no-foreign-funcall from cffi-tests.asd to<br>     tests/funcall.lisp and have the lisps that don't support this

push the feature in cffi-<lisp>.lisp instead of defpackage.    - New file: utils.lisp    - Make Allegro, CMUCL, Corman and OpenMCL use callback-symbol-name      (from cffi-utils) to safely intern callback symbol.

<br>   - Clisp: consider (pointerp NIL) => T<br><br>Thu Aug 11 05:43:53 WEST 2005  Luis Oliveira <<a href="mailto:loliveira@common-lisp.net">loliveira@common-lisp.net</a>><br>   * Clisp: use FOREIGN-ADDRESS-NULL in NULL-PTR-P

<br><br>Wed Aug 10 02:00:07 WEST 2005  Luis Oliveira <<a href="mailto:loliveira@common-lisp.net">loliveira@common-lisp.net</a>><br>   * Lispworks: use :byte for cffi's :char types<br><br>--<br>Luís Oliveira<br><a href="http://student.dei.uc.pt/~lmoliv/">

http://student.dei.uc.pt/~lmoliv/</a><br>Equipa Portuguesa do Translation Project<br><a href="http://www2.iro.umontreal.ca/~pinard/po/registry.cgi?team=pt">http://www2.iro.umontreal.ca/~pinard/po/registry.cgi?team=pt</a><br>

_______________________________________________<br>cffi-devel mailing list<br><a href="mailto:cffi-devel@common-lisp.net">cffi-devel@common-lisp.net</a><br><a href="http://common-lisp.net/cgi-bin/mailman/listinfo/cffi-devel">

http://common-lisp.net/cgi-bin/mailman/listinfo/cffi-devel</a><br></blockquote></div><br>