Tarjei Tj�stheim Jensen wrote in message <38CA05AF.7E77790D@online.no>...
>That is really a workaround. I think both he and I would have preferred
>something like
>
>pragma disallow_predefined(operator => "/", a_type, a_type);
>pragma disallow_predefined(operator => all, all, a_type);
>pragma allow_predefined(operator => "+", a_type, a_type);
>pragma map_predefined_result(result_type => integer, operator => "/",
a_type,
>a_type);


Why not simply declare the type private or limited private, then provide
your
own versions for all the required operators?

Jim Rogers
Colorado Springs, Colorado