3:45:53drmeisterExcellent. Then we are all in agreement
5:58:28drmeister::notify Bike cclasp failed to compile when it runs into a problem with a typecheck in pprint.lsp. The complete backtrace is here: https://gist.github.com/drmeister/91bdedb3229ed403b8d91d6ff15919ac
6:23:04drmeister::notify Bike This is happening when building cboehmdc - so I think all type checks should reduce to typep.
7:14:44drmeister::notify Bike I think the check isn't allowing for the possibility that there is no typeq information for the type - there is no information for any types with boehmdc, because the static analyzer output isn't used by boehmdc. It needs to use gen-typep-check in this case. I'm going to hack a call to gen-typep-check into gen-primitive-type-check to just get the static analyzer running. You probably have a better way
8:31:20drmeister::notify Bike FYI this change to gen-primitive-type-check allowed cclasp-boehmdc to compile ... https://github.com/drmeister/clasp/blob/dev-func/src/lisp/kernel/cleavir/hir-to-mir.lisp#L193