Re: Disallowing Pre-Defined Operations

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

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1059 bytes --]

In article <38CA05AF.7E77790D@online.no>,
  "Tarjei Tj�stheim Jensen" <tarjei@online.no> wrote:

> > function "/" (L, R : Length) return length is abstract;
>
> That is really a workaround. I think both he and I would have
> preferred something like
>
> pragma disallow_predefined(operator => "/", a_type, a_type);

YECH! a pragma that makes the program illegal. Yes, it is true
there are some such pragmas, but only in very specialized
circumstances.

Note that the pragma you give is obviously incomplete, since
you have to give the full profile.

The abstract declaration is quite direct and consistent,
entirely intuitive, since it is consistent with the way
abstract works, and less typing than your horrible pragma.

I don't see why you call this a work around. It is a carefully
designed part of the language designed to achieve EXACTLY what
is being asked for, and in a manner entirely consistent with
the rest of the language design.

THe pragma would be redundant, odd, and inconsistent


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