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: 10cc59,9d58048b8113c00f
X-Google-Attributes: gid10cc59,public
X-Google-Thread: 101deb,b20bb06b63f6e65
X-Google-Attributes: gid101deb,public
X-Google-Thread: 103376,2e71cf22768a124d
X-Google-Attributes: gid103376,public
X-Google-Thread: 1014db,9d58048b8113c00f
X-Google-Attributes: gid1014db,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: next "big" language?? (disagree)
Date: 1996/06/28
Message-ID: <dewar.836014552@schonberg>#1/1
X-Deja-AN: 162815473
references: <ag129.511.000A9CE9@ucs.cam.ac.uk> <dewar.834584250@schonberg>
 	<JSA.96Jun15175541@organon.com> <4q707h$1r2@krusty.irvine.com>
 <JSA.96Jun19115535@organon.com> <dewar.835306677@schonberg>
 <DtKsIz.Dp6@thomsoft.com> <dewar.835839441@schonberg>
 <4r19nc$b3h@mulga.cs.mu.OZ.AU>
organization: Courant Institute of Mathematical Sciences
newsgroups: 
 comp.lang.pascal,comp.lang.c,comp.lang.misc,comp.lang.pl1,comp.lang.ada
Date: 1996-06-28T00:00:00+00:00
List-Id: <comp.lang.ada>

Fergus asked:

"Why would anyone want this model?"

referring to the non-intrusive model of assert, where putting in asserts
does not affect the rest of the generated code (the one I noted was hard
to define).

Seems self-explanatory to me -- I am not saying that it is the preferable
semantics, but it is easy to understand why people want this, they want
to be able to turn assertions on and off without affecting the behavior
of the code.