Instant Pascal bug

[Info-Mac]

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:
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: [email protected]
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