Re: Ada on Apple's new procesors

[Optikos <ZUERCHER_Andreas@outlook.com>]

On Tuesday, June 30, 2020 at 9:59:58 AM UTC-5, cha...@adacore.com wrote:
> > > By the way the reason I haven't answered other messages is mainly because I am not familiar with Apple's specific constraints here, so I'd rather not make any statement about them rather than making wrong statements and you shouldn't draw any conclusion from the fact that I haven't replied to some of the messages in this thread.
> > 
> > Fine, but surely AdaCore has access to a legal department?
> 
> Yes, and this legal department is busy processing customer requests, it can't process requests coming from e.g. c.l.a
> 
> Arno

Then perhaps this thread's Narrow versus Wide 2 legal theories should be transcribed into a GitHub issue at https://github.com/AdaCore/gnat-llvm/issues so that when/if GNAT-LLVM is to ever leave its current “experimental” state of being “a work-in-progress research project that's not meant for and shouldn't be used for industrial purposes [that i]s meant to show the feasibility of generating LLVM •bitcode• for Ada” (emphasis added, as quoted from GNAT-LLVM repository's main page at GitHub).  At the point that GNAT-LLVM is no longer to be deemed experimental, there should have been a long-standing open (!) (not closed!) issue that reminds AdaCore's legal department to tie up this loose end, even if that is years from now.  By that point, there should be a strong track record of technical knowledge regarding Apple's bitcode submission policies to the App Store to relay to the attorneys so that they can simply turn the legal crank to make a decision/adjustments of whether/how GNAT-LLVM is to transition out of experimental status.  Also by that point, (despite RMS's own distance nowadays) there might even be more legal precedent/statement from at least one member of the set {FSF, Software Freedom Conservancy, Software Freedom Law Center} regarding the RLE's true meaning of IR vis a vis assembly-language-esque IR that could be applicable to GNAT-LLVM's emission of LLVM IR, textual or bitcode (and perhaps to JVM bytecode and perhaps to Microsoft CIL).  It seems that it would be the executives at AdaCore and/or FSF in consultation with their legal teams at that time (i.e., when this proposed GitHub issue gets worked) who would make that final wise/well-informed decision and/or those wise/well-informed adjustments—not engineers or mid-level managers who might post to c.l.a.

Is there a green light to submit such an issue at https://github.com/AdaCore/gnat-llvm/issues as described above?