"Jim Blandy" <jimb@red-bean.com> writes:

> The revised patch looks fine.  The only question I have is, what's up
> with m2_type_print_base?  Is that the way it's supposed to be?

Hi,

thanks for the feedback and here is the revised patch - which fixes
the documentation:

    @example -> @smallexample
    @end example -> @end smallexample
    and uses the American spelling of `recogni[sz]ed'.

and the code change removes the function m2_type_print_base and
substitutes the call to it by a call to m2_print_type instead.