12:38:14beachHas Clasp firmly converted from Generate-AST to CST-to-AST?
12:39:58Bikepretty firmly. kpoeck still uses generate-ast for some tests, i think.
12:40:26beachOK. I'll check with him. I would like to get rid of that code at some point.
16:36:29beachTime to go fix dinner for my (admittedly small) family. I'll be back tomorrow.
20:07:58Bikeso now that i'm actually looking at the CST thing, i'm thinking to handle declaim declaration, it might be simplest just to tell clients to have a method specialized on the system argument (that already exists) that handles custom declarations
20:08:08Bike(meaning, for declaim declaration, returning nil immediately)