Re: another way to shoot yourself in the foot?

[nospam@see.signature (Richard Maine)]

Dick Hendrickson <dick.hendrickson@att.net> wrote:

> James Giles wrote:
> > Craig Powers wrote:

> >> Is that actually possible without lying about an interface?  i.e. Is
> >> it possible to pass an INTENT(IN) dummy as an actual argument to a
> >> more permissive dummy argument in another routine (no intent or
> >> intent OUT)
> > 
> > It's not permitted.  The standard doesn't require implementations to
> > verify that it's not done.  That is, it's not one of the kinds of error
> > that the standard requires implementations to detect and report.
> > 
> You're partially wrong, James.  It is permitted to pass a dummy
> with INTENT(IN) to a subroutine that doesn't specify either
> INTENT(INOUT) or INTENT(OUT).  You can pass them to a subroutine
> that doesn't specify intent and even potentially modifies
> its argument.  You can't lie in an interface, but you can
> call routines that don't have an interface.  Those routines are
> required to do the right thing; but the compiler isn't required
> to detect violations.

I think you and James are saying the same thing. Your "those routines
are required to do the right thing" translates to James' "it is not
permitted [to do the wrong thing]". Both of you also say (correctly)
that the compiler isn't required to catch such an error.

And note that I think this is a diferent matter than the original
question. I read the original question as "can you lie about the
interface [presumably referring to separate compilation of an interface
body and an external procedure]?" Presumably Craig was reading it
differently because with my reading "can you do this without lying about
an interface?" becomes a tautalogical (if that's a word) question.

And I'll claim that this posting of mine doesn't count as replying to
the thread I said I wouldn't post in, as I'm just replying to you three
instead of to the pseudo-OP (pseudo because he wasn't literally the
original, but he resurrected it as pretty much a new topic).

-- 
Richard Maine                    | Good judgement comes from experience;
email: last name at domain . net | experience comes from bad judgement.
domain: summertriangle           |  -- Mark Twain