generics
generics copied to clipboard
j3-fortran
There are inconsistencies with the usage of "deferred type"/\ and "deferred class"/\ * https://github.com/j3-fortran/generics/blob/cc42f87f976b4a151111c349498e826ff5b8aa18/J3-Papers/syntax-intro-and-deferred-args.txt#L112-L114 * https://github.com/j3-fortran/generics/blob/cc42f87f976b4a151111c349498e826ff5b8aa18/J3-Papers/syntax-intro-and-deferred-args.txt#L318-L319 * https://github.com/j3-fortran/generics/blob/cc42f87f976b4a151111c349498e826ff5b8aa18/J3-Papers/syntax-intro-and-deferred-args.txt#L437-L449 In the third of those 3 snippets, we assume that "deferred type"...
It should have template argument association, correct? Also, I'm not sure if this should be a note or normative text. In the syntax-template-and-instantiate.txt paper, the analogous information is in normative...
The existing wording of the constraint > A deferred procedure shall only be referenced with keyword arguments if it has an explicit specification. Can be interpreted two ways: 1. (The...
For the normative text part, I thought it was just more concise to combine those two paragraphs. For the constraint part, the constraints about functions and subroutines are redundant because...
Most places that say "specifications" specifically say "ultimate specifications", but there were some that didn't. I added "ultimate" to them for clarity.
Example: ``` module m contains function tmpl{T}(obj) result(r) type(T) :: obj, r r = obj end function end module use m type :: mytype integer :: x end type type,...
This PR changes the 4 constraints on rank and shape for deferred constants to merge the two rank constraints into one, and merge the two shape constraints into one. I...
There are a few issues with the constraints removed in this edit: - I think that "innermost scoping unit" here is a bit too vague, especially because... - This paper...
Implementing the UTIs we put in during the last meeting. Also a couple other changes that are relevant. Note my note! ``` Note: The change to C864 above, along with...