On Sat, Feb 15, 2020, 1:40 PM Madhu <enometh@meer.net> wrote:

* Luís Oliveira Wrote on Fri, 14 Feb 2020 11:24:08 +0000
> I can't check right now, but I wonder if the TYPEP check in DEFCTYPE
> should be checking for TRANSLATABLE-FOREIGN-TYPE instead of
> ENHANCED-FOREIGN-TYPE?

Yes, making that change also fixes the problem.
Impressive. Thanks,