Tests for 'use type' & 'use all type' clause #160
Conversation
| pragma Assert (A=1); | ||
|
|
||
| C := Double(B); -- Double is accessible due to 'use all type' clause | ||
| -- next statmente would fail as packages do not support function calls atm |
There was a problem hiding this comment.
⛏️ statement
| -- (NB but not the type itself, this must still be fully qualified | ||
| with Count_Types; use type Count_Types.Count; | ||
|
|
||
| -- 'use all type' clause makes visible both the operators and basic operations |
There was a problem hiding this comment.
⛏️ By "basic" operations do you mean primitive operations? That's what they're usually called in Ada related discussions so if that's the case we should use that lingo here as well.
There was a problem hiding this comment.
Ah yes. Hmm - I think 'basic' would refer to those inherited according to Ada lingo?
Mixup. Fixed.
sonodtt
force-pushed
the
use_type_clause
branch
2 times, most recently
from
0dd5840 to
a09be5e
Compare
|
@hannes-steffenhagen-diffblue re "default field value not working" - not an issue here, but will look into that and related as part of a quick familiarisation with our packages support. More tests for edge cases on the way. |
sonodtt
force-pushed
the
use_type_clause
branch
4 times, most recently
from
dd6c0ff to
8b04c3b
Compare
|
@sonodtt The default field thing isn't really related to packages (or rather: I don't think it is). I think it's just something we don't support for records at the moment. |
sonodtt
force-pushed
the
use_type_clause
branch
2 times, most recently
from
4fa9d7e to
877c89f
Compare
NB our package implementation does not support function calls atm, so although 'use type' can work fully if only built-in operators are used, any use of functions or overloaded operators or new 'basic operations' for a custom type will fail.
sonodtt
force-pushed
the
use_type_clause
branch
from
877c89f to
634af76
Compare
NB our package implementation does not support function calls atm, so
although 'use type' can work fully if only built-in operators are used,
any use of functions or overloaded operators or new 'basic operations'
for a custom type will fail.