Cyclic types definition
Closed this issue · 1 comments
Oleg-N-Cher commented
It's a question of supporting definitions like that:
TYPE
DynArrPtr = POINTER TO ARRAY OF DynArrPtr;
ArrPtr = POINTER TO ARRAY 1 OF ArrPtr;
which is implemented by BlackBox.
The Oberon community believes that such cyclic type definitions are not something very useful or indispensable. So their support in Ofront+ should only be considered a step towards improving compatibility with BlackBox.
The examples that show different cases of defining such types:
CyclicTypes.zip
Oleg-N-Cher commented
These examples show how Ofront+ generates code for cyclic types: