[J3] pure procedure pointers

[Malcolm Cohen]

We’ve never said that pointers to pure procedures are themselves pure procedures, that’s why.

 

It is not obviously necessary to include procedure pointers in the list.  Dummy procedure pointers are only included “by accident of wording”, it’s also not obvious that that is necessary.

 

And when I say “not obviously necessary”, I mean that on the face of it, it appears to be unnecessary.  Perhaps not quite “obviously unnecessary”…

 

…Anyway,  when a procedure ref is through a procedure pointer, it is the associated procedure that is referenced (as a procedure), not the pointer itself.  The procedure is referenced with the interface specified by the pointer though.

 

And so I think that as currently written C1591 and C1595 together are completely adequate.  C1595 requires that the procedure actually referenced (the associated procedure) is pure, and C1591 requires that the interface through which it is referenced (the interface of the procedure pointer) explicitly declares the procedure to be pure.

 

Thus that the procedure pointer itself is not a “pure procedure”, but merely a pointer that can only be associated with a “pure procedure”, would appear to be unproblematic.

Cheers,

-- 

..............Malcolm Cohen, NAG Oxford/Tokyo.

 

From: J3 <j3-bounces at mailman.j3-fortran.org> On Behalf Of Robert Corbett via J3
Sent: Tuesday, August 28, 2018 7:38 AM
To: j3 at j3-fortran.org
Cc: Robert Corbett <rpcorbett at att.net>
Subject: [J3] pure procedure pointers

 

Why are procedure pointers other
than dummy procedure pointers
not on the list of pure procedures
in Subclause 15.7 of theFDIS?

Bob Corbett



Disclaimer

The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. Please see our Privacy Notice <https://www.nag.co.uk/content/privacy-notice>  for information on how we process personal data and for details of how to stop or limit communications from us.

This e-mail has been scanned for all viruses and malware, and may have been automatically archived by Mimecast Ltd, an innovator in Software as a Service (SaaS) for business.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20180829/71c719d4/attachment.html>