[m-rev.] for review: Show supertype constructor when showing type layout decisions.

[Zoltan Somogyi]

2021-04-14 12:56 GMT+10:00 "Peter Wang" <novalazy at gmail.com>:
> +:- func show_type_ctor_string(type_ctor) = string.
> +
> +show_type_ctor_string(TypeCtor) = TypeCtorStr :-
> +    TypeCtor = type_ctor(TypeCtorSymName, TypeCtorArity),
> +    (
> +        TypeCtorSymName = qualified(TypeCtorModuleName, TypeCtorName),
> +        TypeCtorStr = string.format("%s.%s/%d",
> +            [s(sym_name_to_string_sep(TypeCtorModuleName, ".")),
> +            s(TypeCtorName), i(TypeCtorArity)])
> +    ;
> +        TypeCtorSymName = unqualified(TypeCtorName),
> +        TypeCtorStr = string.format("%s/%d",
> +            [s(TypeCtorName), i(TypeCtorArity)])
> +    ).
> +

I deleted this function, since it already exists in prog_out.m.

Zoltan.