> | Let us indicate that the IN/OUT/INOUT labels are hints to the
> | reader about how to think about the argument and not pretend
> | that someone who was writing a Lint or a specialized compiler
> | for MPI programs could assume each label told him all he needed
> | to know about that argument.
> I heartily agree with this point of view. The disclaimer of precision
> in the IN/OUT/INOUT labels can go in Terms.
I am not so sure that I agree. In particular, the IN/OUT/INOUT labels
can be formalized in the C++ bindings via const for IN. That is, a
parameter is either const or it is not -- there is no ambiguity in the
binding declaration.
Best Regards,
Andrew Lumsdaine