Code: Select all
Structure Test1 : x.l : EndStructure
Structure Test2 : y.l : EndStructure
Procedure Foo(*t1.Test1) : EndProcedure
t2.Test2
Foo(@t2)
another thing, probably even more far out:
I would like to be able to give names to enumation blocks, and that the type could be checked accordingly by the compiler, like this:
Code: Select all
Enumeration Vehicle : #Car : #Truck : EndEnumeration
Procedure Foo(type.Vehicle) : EndProcedure