[Oberon] Type guard: unnecessary?

[Srinivas Nayak]

Dear All,

In the Programming in Oberon (Tutorial) rev. 5.10.2015, in section 23.2 last paragraph we read:
"The simple designator p.radius would not be acceptable, because p is of type Figure."
In section 23.4 last but one paragraph we read:
"The further facility of the type guard is merely one of convenience."

Is type guard not necessary?


With thanks and best regards,

Yours sincerely,
Srinivas Nayak

Home: http://www.mathmeth.com/sn/
Blog: http://srinivas-nayak.blogspot.in/