[fpc-pascal] Do you get type errors?

[Marco van de Voort]

In our previous episode, spir said:
> For sure!
> Now, it is easy for the compiler to guess such cases. Some languages perform automagic deferencing of pointers to structured types (record/object, array), meaning eg
> 	p.x
> is interpreted as
> 	p^.x
> and
> 	p[i]
> is interpreted as
> 	p^[i]

And in the case of ppointer?

Oberon doesn't have that case afaik.