On Jun 22, 2023, Bernhard Reutner-Fischer <rep.dot....@gmail.com> wrote:
> On Wed, 21 Jun 2023 22:08:55 -0300 > Alexandre Oliva <ol...@adacore.com> wrote: >> Thanks for the test. >> >> Did you mean for me to incorporate it into the patch, or do you mean to >> contribute it separately, if the feature happens to be accepted? > These were your tests that i quoted Aaah. I didn't look too closely, I just assumed you'd tweaked something in there. >> > I don't see explicit tests with _Complex nor __complex__. Would we >> > want to check these here, or are they handled thought the "underlying" >> > tests above? >> >> Good question. The notion of using complex types to hold booleans >> hadn't even crossed my mind. > Maybe it is not real, it just sparkled through somehow. Is it imaginary, then? :-D >> On the other, there doesn't seem to be any useful case for them. Can >> anyone think of one? > We could either not reject other such uses and wait or we could reject > them and equally wait for complaints. I would not dare to bet who pops > up first, fuzzers or users I bet on fuzzers :-) > it was just a thought (i mentioned tinfoil hat, did i ;). indeed ;-) Having verified that it gets rejected (phew :-) I'm inclined to add it to the test you quoted and be done with it. If a reason ever comes up to support it, the test can be adjusted accordingly. >> >> > I'd welcome a fortran interop note in the docs >> >> Is there any good place for such interop notes? I'm not sure I'm >> best-suited to write them up, since Fortran is not a language I'm >> very familiar with, but I suppose I could give it a try. > I'd append to your extend.texi hunk below the para about uninitialized a > note to the effect of: > Note: Types annotated with this attribute may not be Fortran > interoperable. I'm not comfortable single-casing Fortran like that. I expect other languages could face similar interop issues when relying on single-language extensions. How about: Since this is a language extension only available in C, interoperation with other languages may pose difficulties. It should interoperate with Ada Booleans defined with the same size and equivalent representation clauses, and with enumerations or other languages' integral types that correspond to C's chosen integral type. -- Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about <https://stallmansupport.org>
