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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Haskell, anyone?
Date: Sun, 15 Nov 2015 22:47:32 -0800
Organization: A noiseless patient Spider
Message-ID: <874mgmo2yj.fsf@nightsong.com>
References: <c6ac0d2f-52af-4aa6-ba6f-34f61e3c93e8@googlegroups.com>
	<dd1ada14-493d-44fc-a081-3a69515f2702@googlegroups.com>
	<n2b23f$aom$1@speranza.aioe.org> <87mvue50ey.fsf@ixod.org>
	<87d1vaoa6y.fsf@nightsong.com> <n2bosk$gsq$1@speranza.aioe.org>
	<878u5yo5p9.fsf@nightsong.com> <n2brc1$kg0$1@speranza.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="811568160cd9f4c22b2423e1fab39dcc";
	logging-data="10183"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/8AJj+E21RKahaePcQrUDU"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:Tf7gB0ia03aI7Gv2RgdmqxZZwws=
	sha1:Meqi3aIV0GQnvp0PQvQagn3K3hg=
Xref: news.eternal-september.org comp.lang.ada:28391
Date: 2015-11-15T22:47:32-08:00
List-Id: <comp.lang.ada>

"Nasser M. Abbasi" <nma@12000.org> writes:
> Again, I am not a programming language lawyer. But legal code
> should compile.

In Haskell, code with type errors is not legal.

> Error should be generated only if the code is not confirming to the
> standard. So I do not think this should be an "error" but only a
> "warning".

But I don't see any way to usefully get rid of the warning in Ada, since
Ada can't tell whether the condition is satisfied except in the simplest
cases.  SPARK can deal with more complex cases but it's not part of Ada
per se.