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!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.swapon.de!fu-berlin.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 22 Aug 2013 10:51:09 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130801 Thunderbird/17.0.8
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: RTS graph and "temporal formulas"
References: <87mwoastdi.fsf@nl106-137-194.student.uu.se>
 <9d7e5c6c-aeb9-4ac1-a7b0-c048061ae4c6@googlegroups.com>
 <87zjsar72v.fsf@nl106-137-194.student.uu.se>
 <b418f81f-c488-4573-88b7-0c5a660a21d1@googlegroups.com>
 <2860f114-06c4-42a3-80ac-1c24b631b135@googlegroups.com>
In-Reply-To: <2860f114-06c4-42a3-80ac-1c24b631b135@googlegroups.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <5215d0f8$0$9508$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 22 Aug 2013 10:51:04 CEST
NNTP-Posting-Host: 763eabf7.newsspool1.arcor-online.net
X-Trace: 
 DXC=QooPneXl1b4LNKYb?b>076ic==]BZ:af>4Fo<]lROoR1nkgeX?EC@@0JkkRih[6<O=nc\616M64>:Lh>_cHTX3j=[DfgbNc6Sc6
X-Complaints-To: usenet-abuse@arcor.de
Xref: news.eternal-september.org comp.lang.ada:16931
Date: 2013-08-22T10:51:04+02:00
List-Id: <comp.lang.ada>

On 22.08.13 02:59, Adam Beneschan wrote:
> On Wednesday, August 21, 2013 4:33:23 PM UTC-7, Dan'l Miller wrote:
>
>>    But your professor utilized C-language's == as the logical comparison in the E->D transition's stimulus-constraint in 7b, not Ada's =.  :-)
>
> Yeah, but he also used ":=" for assignment.  I guess he wanted to avoid a simple "=" in every case.  Not a bad idea where it could lead to confusion.
>

Microsoft could stop the confusion by finally including a key with an
assignment symbol on their new keyboards. Its lack is simply an oversight
of years of computer design, maybe a blind spot, and too embarrassing to
be fixed.