15 Feb
                
                    2020
                
            
            
                15 Feb
                
                '20
                
            
            
            
        
    
                1:38 p.m.
            
        * 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,