> 4) set P[k], i > > Here probably P should be a IN argument, because P itself is neither > created nor changed, just the array/hash contents is changed. > Currently only the JITters and imcc are using this flags, so, it should > be discussed, what OUT really means.
I disagree. If P contains no keys, then set P[k] will create a new key or pair element in the P hashtable. This means that P is being modified. Of course, our meaning of IN and OUT is not completely nailed down just yet, especially since the best meaning of them will probably relate to how the JIT and IMCC want them to act. As such, the above argument could be correct or incorrect depending upon exactly how they are defined. :) Mike Lambert