3 ms·
As far as I know, no. You can get SBCL to point out some intra-function inconsistencies through declarations (or, in fact, often even without declarations), but
by marijn 15y ago
As far as I know, no. You can get SBCL to point out some intra-function inconsistencies through declarations (or, in fact, often even without declarations), but I haven't found a way to make it warn when, outside of function X, I'm calling it with types different from the types associated with the arguments through declarations.
- blue1 15y ago(declaim (safety 3) (ftype (function ({argument types}) {return types}) {function name})) It checks both at compile time and at run time. I find it great for bug squashing. See http://www.sbcl.org/manual/index.html#Declarations-as-Assertions http://www.sbcl.org/manual/index.html#Declarations-as-Assert...
- marijn 15y agoThat's neat. Thanks. Might be worthwhile for APIs.