Re: Disallowing Pre-Defined Operations

[Robert Dewar <robert_dewar@my-deja.com>]

In article <38D2E598.262D1CD5@erols.com>,
  whitaker@erols.com wrote:
> Of course, the ideal is an Ada recognition of the Units
> requirement and implementation at the standard/compiler level.

I don't see the "of course" here at all. It is not at all clear
that the damage to the language done by the additional
complexity here would be worth the additional functionality.

Given that the discriminants solution works fine, and has an
efficient implementation, that seems good enough to me. If no
compiler vendor has bothered to provide this efficient
implementation, it would tend to indicate that it is simply
not that important.

Certainly we have never had any customers asking for such
a feature, and our customers are not shy when it comes to
asking for enhancements (the long list of features in the
new release of GNAT 3.13a is largely fueled by customer
requests).

Robert Dewar
Ada Core Technologies

P.S. Exploring this more efficient implementation would
certainly make a nice GNAT-based project for someone to
undertake.


Sent via Deja.com http://www.deja.com/
Before you buy.