[Oberon] A pseudo-problem?

[Vasile Rotaru]

"Daniel Keller" <keller at creacare.com> wrote:

> Vasile,
> 
> The bug you have describe has been fixed. It will be released at the end of the year. If you need it before, let me know,
> 
> regards
> Daniel
> 

 Well, this is good work. I can't say I need it (the fix) badly, for my
puposes, I can do with Builder.Compile as well. But since I like doing
things differently (this being one of the reasons I use NO and BB) I can
send you another bug/deviation from the standard.

 You cannot do 

   WITH foo.bar: Bar DO (* stuff *) END;

either using Compiler OR PC. Still the Oberon Report states clearly:

  WITH qualident : qualident DO .. END;

 Checking the (dinamic) type of a exported variable may be bad practice,
but checking the type of a RECORD field may have some uses.

Regards, Vasile

PS. I am just curious if this qualifies as gratitude :)