From: Joel Reicher Date: Thu, 8 Nov 2007 02:28:38 +0000 (+0000) Subject: Insert types for args of some function pointers to improve type checking. X-Git-Url: https://diplodocus.org/git/nmh/commitdiff_plain/da831514de01e2407cef37c118ffff0526a486d0?ds=inline;hp=da831514de01e2407cef37c118ffff0526a486d0 Insert types for args of some function pointers to improve type checking. ---