J3/06-011 Date: 2006/07/18 To: J3 From: Malcolm Cohen Subject: Editor's list of unresolved technical issues A. Introduction --------------- This document lists the technical issues raised by the editor with the 007. Issues are separated into two lists; the resolved ones and the unresolved ones. When an issue is resolved, the J3 note in the 007 will be deleted and the item moved from the unresolved list to the resolved list. Issue numbers will not be reused. Note that several issues were raised with the Enhanced Modules Technical Report. Because this was not an official 007, these were given numbers in the range 5000+ so as not to conflict. These issues are also listed in this document. The one-line description is just a hint as to the issue, not a comprehensive statement of it. B. Unresolved issues -------------------- 001. Co-array Fortran model (program includes all the images?). Feature: Co-arrays. 002. Which parts of execution are shared vs. replicated. Feature: Co-arrays. 003. Normal termination of execution of program vs. images. Feature: Co-arrays. 004. Termination warnings and messages. Feature: Co-arrays. 005. Reusing STOP for error termination (as well as normal termination). Feature: Co-arrays. 006. How soon termination happens. Feature: Co-arrays. 007. The term "co-dimension" is not defined. Feature: Co-arrays. 008. Bad placement/wording about automatic co-arrays not being allowed. Feature: Co-arrays. 009. Allocatable co-arrays and recursion. Feature: Co-arrays. 010. Inconsistent saving of allocatable co-arrays. Feature: Co-arrays. 011. CONTIGUOUS definition list not ISO conformant. Feature: Contiguous. 012. Co-array bounds description bad. Feature: Co-arrays. 013. Co-array bounds syntax/semantics disconnect. Feature: Co-arrays. 014. Bits compatibility placement. Feature: Bits. 015. Bits compatibility definition: symmetry, safety. Feature: Bits. 016. Bits compatibility term vs. "type and kind compatible". Feature: Bits. 017. Bits compatibility and generic resolution. Feature: Bits. 018. Bits kind type parameter and future extensibility. Feature: Bits. 019. Bits "semi-polymorphism" and (lack of) explicit interface requirement. Feature: Bits. 020. "Z[P] = Z" and allocatable components. Feature: Co-arrays. 021. Inadequate specification of co-subscript mapping. Feature: Co-arrays. 022. Allocation of types with co-array (ultimate) components. Feature: Co-arrays. 023. Intrinsic assignment, co-indexed objects, allocatable components. Feature: Co-arrays. 024. Intrinsic assignment, co-indexed objects, polymorphism. Feature: Co-arrays. 025. Definition of "iteration". Feature: DO CONCURRENT. 026. END PROGRAM effect should not be described under STOP. Feature: Co-arrays. 027. SYNC_ALL and STOP ambiguities. Feature: Co-arrays. 028. "Made available" is confusing and possibly meaningless. Feature: Co-arrays. 029. Sequencing of STOP effects not after SYNC_ALL. Feature: Co-arrays. 030. Image 1 special casing justification lack of. Feature: Co-arrays. 031. Which images include the effect of executing C "exit"? Feature: Co-arrays. 032. Inconsistency of exception warnings on normal termination. Feature: Co-arrays (or F2003). 033. Exit code recommendations incomplete. Feature: STOP exit code. 034. Remote access to non-coarray TARGETs. Feature: Co-arrays. 035. "team" definition. Feature: Co-arrays. 036. Image set non-coindexed requirement ineffective. Feature: Co-arrays. 037. Advertisements do not belong in the standard. Feature: Co-arrays. 038. Inconsistent effects of omitting STAT=. Feature: Co-arrays. 039. Global scope of external units. Feature: Co-arrays. 040. INQUIRE(TEAM=) missing. Feature: Co-arrays. 041. OPEN (TEAM=) connection. Feature: Co-arrays. 042. Which i/o statements are allowed on preconnected units? Feature: Co-arrays. 043. Description of INPUT_UNIT requirements. Feature: Co-arrays. 044. NEXTREC= and TEAM=. Feature: Co-arrays. 045. Input editing, list item definition, as if ineffective. Feature: Bits. 046. Reading unsigned integers. Feature: Bits. 047. Corresponding integers to BITS(7) might not exist. Feature: Bits. 048. How to write list-directed bits values. Feature: Bits. 049. Explicit interface for call with co-indexed object is unwarranted. Feature: Co-arrays. 050. Lack of co-indexed object argument passing considered harmful. Feature: Co-arrays. 051. Note about making copies seems unlikely to be true. Feature: Co-arrays. 052. Unsafe argument association for pointers. Feature: Bits. 053. Unsafe argument association for allocatables. Feature: Bits. 054. What can be passed to a dummy co-array. Feature: Co-arrays. 055. ASYNCHRONOUS dummies and co-indexed actuals. Feature: Co-arrays. 056. Collective subroutine definition. Feature: Co-arrays. 057. Implicit team synchronisation not defined. Feature: Co-arrays. 058. Tutorial information does not belong in this subclause. Feature: Co-arrays. 059. The two different uses of THIS_IMAGE are completely different. Feature: Co-arrays. 060. Kind of bits kind type parameter, or spurious KIND= in BITS_KIND. Feature: Bits. 061. COMPLEX(KIND(0d0)), BIT_SIZE, NUMERIC_STORAGE_SIZE. Feature: Bits. 062. Another useless KIND= argument. Feature: Bits. 063. Synchronisation, FORM_TEAM, SYNC_IMAGES. Feature: Co-arrays. 064. Padding value in EOSHIFT for type bits? Feature: Co-arrays. 065. Another useless KIND= argument. Feature: Bits. 066. LOGICAL(bits) might not be a value. Feature: Bits. 067. MERGE_BITS inconsistent with IAND et al. Feature: Bits. 068. MERGE_BITS internal inconsistency. Feature: Bits. 069. Extra examples need rewording, belong in annex C. Feature: Co-arrays. 070. Description does not make sense for bits. Feature: Bits. 071. Arithmetic shift isn't (except on 2s complement). Feature: Bits. 072. Bit model does not interpret values with the top bit set. Feature: Bits. 073. IMAGE_TEAM limitations. Feature: Co-arrays. 074. C names unnecessary, misleading, inhibit future and vendor extension. Feature: Bits. 075. Ordering sentence is too subtle. Feature: Bits. 076. Definition status and bits. Feature: Bits. 077. Promoting rampant nonportability is not the goal of the standard. Feature: Bits. 078. Images and scoping. Feature: Co-arrays. 079. Non-aliasing rules and images. Feature: Co-arrays. 5001. Referencing a submodule. Feature: Submodules. 5003. Module procedure interface block glossary entry. Feature: Submodules. C. Resolved issues ------------------ 5000. Phrase "its descendant submodules". Resolved in 06-007 by 06-185. 5002. Module procedure interface body definition. Resolved in 06-007 by 06-185. 5004. Host scoping for submodules. Resolved in 06-007 by 06-185. ===END OF DOCUMENT===