From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:ae9:e30d:: with SMTP id v13mr5272098qkf.401.1572601155931;
        Fri, 01 Nov 2019 02:39:15 -0700 (PDT)
X-Received: by 2002:aca:e002:: with SMTP id x2mr7515014oig.84.1572601155639;
 Fri, 01 Nov 2019 02:39:15 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!j16no10078026qtl.0!news-out.google.com!p4ni208qtu.1!nntp.google.com!j16no10078015qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 1 Nov 2019 02:39:15 -0700 (PDT)
In-Reply-To: <qpf9jt$kto$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=136.163.208.2;
 posting-account=HFCrOQoAAABZD_f-UUbYHm3lJDIrh-UX
NNTP-Posting-Host: 136.163.208.2
References: <b3c784e8-3738-40ba-b806-1c5151b97494@googlegroups.com>
 <lyzhhkx832.fsf@pushface.org>
 <5d710dac-d172-4a31-899e-1bf95e220ed6@googlegroups.com>
 <7fb6d1d0-18df-43b9-bcdc-9782dfb5171c@googlegroups.com>
 <lyr22vxzw8.fsf@pushface.org>
 <qpa0l4$omn$1@dont-email.me> <qpa4da$1q2q$1@gioia.aioe.org>
 <lyimo6xyfk.fsf@pushface.org> <qpec2q$12g5$1@gioia.aioe.org>
 <qpf9jt$kto$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9bf395aa-ced0-408d-8bdf-2b20af5cabeb@googlegroups.com>
Subject: Re: gnat.string_split , howto manipulate slice numbers
From: joakimds@kth.se
Injection-Date: Fri, 01 Nov 2019 09:39:15 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:57410
Date: 2019-11-01T02:39:15-07:00
List-Id: <comp.lang.ada>

> you can even declare:
> function "*" (L, R : T) return T is abstract;
> 
> and thus forbid the use of multiplication when it does not make sense.
> 
> Most programming languages praise what they allow to do; Ada is the only
> language that praises what it prevents from doing!
> 
> -- 
> J-P. Rosen
> Adalog
> 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
> Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
> http://www.adalog.fr

Thanks J-P. Rosen. Haven't taken advantage of declaring operators abstract before but now I will!

Best regards,
Joakim