type-checking brainstorm (was: [cvs] bogofilter/src datastore_db.c, 1.185, 1.186)

[David Relson]

On Wed, 09 Mar 2005 03:48:40 +0100
Matthias Andree wrote:

> Look at this sample code, it will trigger warnings when passing
> mismatched directory or file name types. I'm not sure if this can be
> written even shorter (perhaps only in C99) as it causes quite some
> typing unfortunately. Type safeness is nice when you have it,
> but C isn't Ada.

Funny!  Just a bit ago I was thinking along similar lines :-)

I suspect actually _using_ the types will be a pain -- along the lines
of "byte" vs "unsigned char" and of "char *" vs. "const char *".

_______________________________________________
Bogofilter-dev mailing list
Bogofilter-dev at bogofilter.org
http://www.bogofilter.org/mailman/listinfo/bogofilter-dev