These two should not compile, and indeed, do not compile under other compilers. program temp; var a = 1 .. 2; type b: a; begin if 1 then b := 0; end. 1 is not a boolean, yet it is accepted as boolean. b is initialized to an out-of-bounds value.
Stephen Lindholm (lindholm@snert.wash.cedar-rapids.k12.ia.us)