Exception Handling in Draft Standard Text, V02.1
John, P1788
We have some suggestions for the exception handling.
1.
We agree that the default handling shall be to write the corresponding
error decoration trit and proceed execution.
For the Valid trit however, which can only be raised by a constructor
and the propagates, it shall be possible to use a trap handler with the
option to terminate. Similar to the IEEE 754 2008 chapter 8.
2.
the examples on page 16 are wrong or at least misleading
they set valid=0
3.
in our opinion the bounded attribute has to be set to 0 in case of overflow.
that is floats2interval(1,maxreal*2) =[1,oo] bounded = +
but in usual language environments that will call
floats2interval(1,oo) =[1,oo] bounded = -
hence we suggest that is floats2interval(1,maxreal*2) =[1,oo] bounded = 0
or what else ???
regards
Marco and Juergen
John Pryce schrieb:
P1788
At last I have revised the draft Standard Text in the light of comments received. I urge EVERYONE to read this Version 02, sub-version 1, and give me comments, even if these are only that you (a) like it or (b) hate it.
I think we are at a stage where parts, at least, of this document can be voted on to become official text. I shall discuss with the Officers in the next days on the best procedure to put this in hand.
The Latex of this version is Revision 22 on the P1788 subversion server.
Best wishes
John Pryce