[RFC, Fortran, (pr66775)] Allocatable function result

[Mikael Morin]

Le 11/07/2015 12:36, Andre Vehreschild a écrit :
> Hi,
> 
> <snip>
>>    "On completion of execution of the function, the value returned
>>     is that of its function result. ... If the function result is
>>     not a pointer, its value shall be defined by the function."
> 
> Now we can argue whether the "shall be defined" is to be interpreted as "has to
> be" or as "might be". For me - being a non-native English speaker - that "shall"
> is not an obligation but should be interpreted as "commonly the function result
> is to be defined, but there can be exceptions". Now I am curious about how
> native English speakers understand that standard statement.
I'm non-native as well, but my interpretation is "has to be". :-(
Which (if correct) puts this topic out of the standard territory.

Mikael