<div dir="auto">Thanks for testing. Could you send a pull request? </div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Feb 15, 2020, 1:40 PM Madhu <<a href="mailto:enometh@meer.net">enometh@meer.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">*  Luís Oliveira Wrote on Fri, 14 Feb 2020 11:24:08 +0000<br>
> I can't check right now, but I wonder if the TYPEP check in DEFCTYPE<br>
> should be checking for TRANSLATABLE-FOREIGN-TYPE instead of<br>
> ENHANCED-FOREIGN-TYPE?<br>
<br>
Yes, making that change also fixes the problem.<br>
Impressive. Thanks,<br>
<br>
<br>
<br>
<br>
</blockquote></div>