🚀 go-pugleaf

In article <BxyB6I.LLF@research.canon.oz.au> andy@research.canon.oz.au (Andy Newman) writes:
>    Yes we used CHAN OF ANY - it allowed our configuration langauage and
>communications system work! The two element vector holds the "to"
>channel and the "from" channel used to perform the RPC with the memory
>allocator process (this use exposed a limitation in the compiler, it
>assumed all channels in a vector were used in the same "direction")

This isn't a limitation of the _compiler_, it is a limitation of the
language: page 76 of the occam reference manual says that a channel
parameter may not be used for both input and output in a procedure.
This is so that an implementation can just remember that it's
either an `input channel array' or an `output channel array'
for usage checking, without having to keep a bit vector for each element.
It also means that arrays of unknown size are treated similarly.

---
Conor O'Neill, Software Group, INMOS Ltd., UK.
UK: conor@inmos.co.uk		US: conor@inmos.com
"It's state-of-the-art" "But it doesn't work!" "That is the state-of-the-art".