Alex Wood

the documentation in general is pretty out of date. i could add some kind of survey of the systems to the readme, though.

The above characterization misses the fact that there are also tail recursive calls. A better way to put it would be that this is sort of a consequence of not...

The test is obsolete. I can fix it when I have time.

On further review, the tests are really obsolete, and in fact the test system definition hasn't actually loaded the tests [since last year](https://github.com/s-expressionists/Cleavir/commit/aaca9ab89e035a56f302272636d31221943a91d9). The AST format has not been stable....

Not sure I understand this. I guess information about client declarations is in the system parameter. What if an identifier is unknown? Error? Are clients expected to write methods to...

do you have an API in mind? i think this is a bit more involved than it looks. for example if you have a type like `(and (cons integer) (satisfies...

I wouldn't mind keeping information about the declared element type around, but I can't just ignore upgrading. The type system is defined such that if two arrays element types upgrade...

I can just add another slot, so we have one for the declared type and one for the upgraded one. I think that is how SBCL's ctype system works, and...

Error? What would signal an error? My little example there? That's so that if you give it a type like `(or (cons integer) array)` it works on each element of...

If you're using SBCL's types, you don't really need this library, do you?