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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f891f,9d58048b8113c00f
X-Google-Attributes: gidf891f,public
X-Google-Thread: 103376,2e71cf22768a124d
X-Google-Attributes: gid103376,public
X-Google-Thread: 101deb,b20bb06b63f6e65
X-Google-Attributes: gid101deb,public
X-Google-Thread: 1014db,9d58048b8113c00f
X-Google-Attributes: gid1014db,public
X-Google-Thread: 10cc59,9d58048b8113c00f
X-Google-Attributes: gid10cc59,public
From: rav@goanna.cs.rmit.EDU.AU (++           robin)
Subject: Re: next "big" language?? (disagree)
Date: 1996/06/18
Message-ID: <4q5nar$em3@goanna.cs.rmit.EDU.AU>#1/1
X-Deja-AN: 160779413
references: <4p0fdd$4ml@news.atlantic.net>
organization: Comp Sci, RMIT, Melbourne, Australia
newsgroups: 
 comp.lang.pascal,comp.lang.c,comp.lang.misc,comp.lang.pl1,comp.lang.ada
nntp-posting-user: rav
Date: 1996-06-18T00:00:00+00:00
List-Id: <comp.lang.ada>


        jsa@organon.com (Jon S Anthony) writes:

        >In article <4pqsed$a4v@goanna.cs.rmit.EDU.AU> rav@goanna.cs.rmit.EDU.AU (++           robin) writes:

        >>      >No you are wrong.  Ranges and assertions will let the compiler
        >>      >eliminate these checks.  That is exactly what you wanted.  You don't
        >>      >have a clue.  Why are you posting on this topic when you clearly don't
        >>      >understand any of the principals??
        >>
        >> ---Having a range allows the compiler to produce code
        >> to check that the value of the variable concerned
        >> lies within that range.  Whenever that variable
        >> is assigned a value (including via an input), the
        >> check is performed.
        >>
        >>    Sorry you embarrassed yourself again with this and other
        >> wrong assertions (no pun intended).

        >No, you did.  Again.  But you appear not to care.  The compiler can
        >use ranges at COMPILE TIME to check that bounds are not violated AT
        >COMPILE TIME so that it does not need to produce code to check the
        >variable AT RUNTIME.  It can't do this in every case, but in very many
        >cases it can.

---That's what I already said a couple of posts ago:

        >>  "You can write
        >> a = b - c; or the equivalent do/end.  In either case,
        >> the checks are done by the compiler and/or the object code."

But Jon, you are contradicting yourself, because you then replied
that the checks are not needed:

"No.  Try reading what was said.  The _elimination_ of the checks comes
from the assertions or ranges which are in the language and from which
the compiler can deduce that the checks are not needed.  Subscripting
is basically always eliminated."

        >Jon Anthony
        >Organon Motives, Inc.
        >1 Williston Road, Suite 4
        >Belmont, MA 02178