[gobo-eiffel-develop] hash tables that are also bilinears

[Andreas L. <ale...@ra...>]

Hi all,

I am having problem with DS_HASH_TABLE. I have seen that DS_HASH_TABLE
[G, K] conforms to DS_BILINEAR [G]. I am not sure if this is abuse, but
I wanted to sell my hash table to others as a bilinear of the values in
the hash table. Eg. given the table ["a" -> "1", "b" -> "2"] sold with
the static type DS_BILINEAR appears to be the list ["1", "2"].

My problem is that this list always contains also Void, even though Void
is not a value in the hash table. Also DS_HASH_TABLE.to_array does not
contain Void.

Is there somewhere an off by one error, or am I just using the hash
table outside its spec?

many thanks in advance,
Andreas