Precompiler fault - arrays of types

[FutureCow]

Here's my cutdown code to show the problem

Code (glbasic) Select Expand


TYPE TypeA
A
B
ENDTYPE

TYPE TypeB
TypeAInstance AS TypeA
ENDTYPE

GLOBAL TypeBArray[] AS TypeB

FUNCTION DoStuff: Var1
X =  RND(TypeBArray[Var1].TypeAInstance.A - TypeBArray[Var1].B)
ENDFUNCTION


The line of code

Code (glbasic) Select Expand


X =  RND(TypeBArray[Var1].TypeAInstance.A - TypeBArray[Var1].B)

should be

Code (glbasic) Select Expand


X =  RND(TypeBArray[Var1].TypeAInstance.A - TypeBArray[Var1].TypeAInstance.B)


If I try to compile it as follows where the first "TypeAInstance" is missing :-

Code (glbasic) Select Expand


X =  RND(TypeBArray[Var1].A - TypeBArray[Var1].TypeAInstance.B)

The precompiler correctly sees that the code is incorrect :-

_______________________________________
*** Configuration: WIN32 ***
precompiling:
GPC - GLBasic Precompiler V.2009.013 - 2D, WIN32
"bb.gbas"(13) error : wrong argument type : TYPE TypeB has no member A

If however the first "TypeAInstance" is there but the second type array is missing
ie.

Code (glbasic) Select Expand


X =  RND(TypeBArray[Var1].TypeAInstance.A - TypeBArray[Var1].B)

Then the precompiler doesn't see the error. Instead, the compiler sees the error

_______________________________________
*** Configuration: WIN32 ***
precompiling:
GPC - GLBasic Precompiler V.2009.013 - 2D, WIN32
Wordcount:2 commands

compiling:
C:\DOCUME~1\shocking\LOCALS~1\Temp\glbasic\gpc_temp0.cpp: In function `DGInt __GLBASIC__::DoStuff(DGInt)':
C:\DOCUME~1\shocking\LOCALS~1\Temp\glbasic\gpc_temp0.cpp:15: error: 'class __GLBASIC__::TypeB' has no member named 'B'
*** FATAL ERROR - Please post this output in the forum
_______________________________________
*** Finished ***
Elapsed: 1.0 sec. Time: 12:53
Build: 0 succeeded.
*** 1 FAILED ***

If both the first and second "TypeAInstance" are missing, the precompiler sees that the first is missing and errors.

[Kitty Hello]

This code:
TypeBArray[Var1].B)

Gives this error:
"bb.gbas"(13) error : wrong argument type : TYPE TypeB has no member A

You wanted to write
TypeBArray[Var1].TypeAInstance.B)

[FutureCow]

Hi Gernot,
I realise that the "TypeAInstance" was missing - what I tried to explain was that the precompiler isn't picking up errors it should. My point is that if I had on the one line of code
...    TypeBArray[Var1].TypeAInstance.B    ...    TypeBArray[Var1].B   ...

then the PREcompiler wouldn't pick up the missing "TypeAInstance" at the end of the line. If the code was
...    TypeBArray[Var1].B    ... 
then the precompiler sees there's a problem (ie. the precompiler only sees the first array on the line) - if it's the second then the precompiler doesn't see anything wrong with the line of code. It only gets picked up by the "compiler" at the end of the compile step.

I hope that explains it well enough.

[Kitty Hello]

Yes, you're right. The precompiler is not very good with TYPE name checking. I'll have to build a whole system to fix this, soon.

[FutureCow]

A different fault with arrays of types :-
If you have a 2 dimensional array of a type, eg.

Code (glbasic) Select Expand

type MyType
VarA
VarB
endtype

global MyArray[] as MyType
Redim MyArray[5][5]

-------------
Then you try to assign to the array and forget to specify the type field, you get a compiler (but not precompiler) error
eg.

Code (glbasic) Select Expand

MyArray[1][2]=10

Gives an error like :-

gpc_temp4.cpp:5: error: no match for 'operator=' in '(&__GLBASIC__::MyArray)->__GLBASIC__::DGArray<T>::operator() [with T = __GLBASIC__::MyType](#`fix_trunc_expr' not supported by dump_expr#<expression error>, #`fix_trunc_expr' not supported by dump_expr#<expression error>) = 10'

Obviously the code should've been either "MyArray[1][2].VarA" or ""MyArray[1][2].VarB". The fact that the precompiler doesn't pick up that it's missing is the fault.

[Schranz0r]

you dont know much about types in GLBasic right?

That can't work:

MyArray[1][2]=10 // have no member selected to put the 10 in!

its must be:

MyArray[1][2].VarA = 10
MyArray[1][2].VarB = 20

for the rest:

Yes, you're right. The precompiler is not very good with TYPE name checking. I'll have to build a whole system to fix this, soon.

close