Kevin Rosenberg seems to have been working quite heavily on UFFI for the last couple of weeks. In the course of that work, Kevin tightened up some type information usage in the API. As a result of the changes, a Resolver bug surfaced. I was incorrectly specifying an array type, but it hadn't been caught previously because the type was previously ignored under SBCL and CMUCL. Now, Kevin is using that type information for something and it was causing Resolver to compile with errors. Anyway, if you are tracking Resolver development, this should now compile and run well.

Thanks to Dave Pearson for reporting the problem and helping test the fix.