Re: Relation between P1788 and P1788.1
On 2014-12-04 11:35:24 -0600, Ralph Baker Kearfott wrote:
> Vincent,
>
> Can you explain?
For instance, a program may call a function specified by 1788 but
not by 1788.1, with incorrect types. Such a program would not be
1788-conforming because of that, but there's nothing that prevents
it from being 1788.1-conforming since this function is not specified
by 1788.1.
Now, a conforming *program* has not been defined anywhere, AFAIK (but
I suppose that this can only be done from a language specification).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)