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: 101deb,b20bb06b63f6e65 X-Google-Attributes: gid101deb,public X-Google-Thread: 10cc59,9d58048b8113c00f X-Google-Attributes: gid10cc59,public X-Google-Thread: 1014db,9d58048b8113c00f X-Google-Attributes: gid1014db,public X-Google-Thread: 103376,2e71cf22768a124d X-Google-Attributes: gid103376,public From: Dale Stanbrough Subject: Re: next "big" language?? (disagree) Date: 1996/06/26 Message-ID: <4qq13d$6f5@goanna.cs.rmit.EDU.AU>#1/1 X-Deja-AN: 162173405 distribution: world references: content-type: text/plain; charset=ISO-8859-1 x-xxmessage-id: organization: Royal Melbourne Institute of Technology mime-version: 1.0 newsgroups: comp.lang.pascal,comp.lang.c,comp.lang.misc,comp.lang.pl1,comp.lang.ada Date: 1996-06-26T00:00:00+00:00 List-Id: Darin Johnson, writes: "How about "Assert"!!! That's exactly what this means in English, despite the fact that Ada changed its meaning. "Assert" and "assertion" in English in no way mean "check that this is true". -- But this doesn't mean that assertions can't be checked. For example I checked the assertions you made below, and I don't believe them :-). "Instead, "pragma Assert(x)", or "#pragma assert(x)" should mean that x is assumed to be true; which implementation-wise may involve compiler optimizations that break things if the assertion is false (what exactly happens might be changed via compiler options, such the debugging does different stuff than production code)." -- If all compilers assumed that asserts were true, then they would produce _no_ executable code to check the assertion, and would spend their time making the optimazations you suggest. How many do that? I suspect accepted industry practice _is_ to check assertions and to take appropriate action. "At least in C, an implementation can define "#pragma assert" to do something much different than the assert macro; even though it is confusing." I'm sorry, but I don't follow this. Dale