A Flavors nettle
I just read the Nov 20 revision of Clause 7, and I like it.
Minor point: In the "A provided flavor" paragraph, I would change
"widened evaluations" to "possibly widened evaluations".
Missing in that text (and I found nothing more recent at grouper.ieee)
is the resolution of this discussion about Entire, namely the inclusion
of a new exception condition, ContainmentFailure, in case a flavor cannot
represent the Level 1 hull of a result.
Perhaps we need to convert Motion 58 into a true motion after all?
Michel.
---Sent: 2013-11-25 01:39:39 UTC