Hi Leo,

>
> This should be - from my (imcc) POV - reflected by these IN/OUT
> settings:
>
> op set(in PMC, in INT)
> op set(in PMC, in STR)
> op set(in PMC, in NUM)
> op set(out PMC, in PMC)               # ok, $1 points to $2 now
>
> # P[i] = x
> op set(in PMC, in intkey, in x)
> # P[KEY] = x
> op set(in PMC, in KEY, in x)
> # p[KEY] = P[KEY]
> op set(in PMC, in KEY, in PMC, in KEY)
>

Shouldn't all this PMC be "inout"? They depend on the previous value 
of the PMC, but they also modify it. 

This probably doesn't affect imcc now, but it might be useful in the 
future.

-angel

Reply via email to