Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 UW 5/3/83; site uw-beaver
Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!houxm!houxz!vax135!cornell!uw-beaver!info-mac
From: info-mac@uw-beaver (info-mac)
Newsgroups: fa.info-mac
Subject: Instant Pascal bug
Message-ID: <1272@uw-beaver>
Date: Fri, 27-Jul-84 00:28:57 EDT
Article-I.D.: uw-beaver>.1272
Posted: Fri Jul 27 00:28:57 1984
Date-Received: Sun, 22-Jul-84 03:36:21 EDT
Sender: daemon@uw-beave
Organization: U of Washington Computer Science
Lines: 24

From: mclure@Sri-Unix.arpa
Apparently the construction:

	var ok : boolean
	var valid : set of char;
	var ch : char;

	ch := 'A';
	valid := ['B','C','A'];
	ok := ch in valid;

does not correctly set ok to true. Instead it sets it to false.
If we expand with

	if (ch in valid) then
	    ok := true
	else
	    ok := false

then ok is set correctly.

Slight bug there...

	Stuart