CYTypedIdentifier *Decode_(CYPool &pool, struct sig::Type *type) {
switch (type->primitive) {
+ case sig::unknown_P: return $ CYTypedIdentifier($ CYTypeError());
+
case sig::function_P: {
_assert(type->data.signature.count != 0);
CYTypedParameter *parameter(NULL);
case sig::selector_P: return $ CYTypedIdentifier($ CYTypeVariable("SEL"));
case sig::block_P: {
- _assert(type->data.signature.count != 0);
- CYTypedParameter *parameter(NULL);
- for (size_t i(type->data.signature.count - 1); i != 0; --i)
- parameter = $ CYTypedParameter(Decode(pool, type->data.signature.elements[i].type), parameter);
- return Decode(pool, type->data.signature.elements[0].type)->Modify($ CYTypeBlockWith(parameter));
+ if (type->data.signature.count == 0)
+ return $ CYTypedIdentifier($ CYTypeVariable("NSBlock"), $ CYTypePointerTo());
+ else {
+ CYTypedParameter *parameter(NULL);
+ for (size_t i(type->data.signature.count - 1); i != 0; --i)
+ parameter = $ CYTypedParameter(Decode(pool, type->data.signature.elements[i].type), parameter);
+ return Decode(pool, type->data.signature.elements[0].type)->Modify($ CYTypeBlockWith(parameter));
+ }
} break;
case sig::object_P: {