j3-fortran / generics

BSD 3-Clause "New" or "Revised" License
39 stars 8 forks source link

comment on line 303 in Specs paper #69

Closed mleair closed 2 years ago

mleair commented 2 years ago

https://github.com/j3-fortran/generics/blob/bd85929c6bd9995bed4d4150b92ae74f2ca04a3f/J3-Papers/Generics_Specs.txt#L303

The following is an incomplete sentence:

"Possibly with a different syntax term for clarity."

Maybe just include it in the previous sentence but separated with a semi-colon?

Where can a REQUIRES statement go? Something analogous might be useful in terms of expressing programmers intent in satisfying a REQUIREMENT in non TEMPLATE contexts; possibly with a different syntax term for clarity.