The text states:
Imprecise traps are primarily intended to be used in situations wherereporting an error and terminating execution is the appropriate response.
Issue #598 to be resolved after v1.0 and issue #364 which is tagged with "resolve for v1.0" are inconsistent with the idea that imprecise traps are primarily for abort situations.
The broad range of "imprecise traps" lends itself to defining many states that are compatible with OS management even in a multitasking environment.
We should keep this door substantially open.
On 2021-07-09 12:57 a.m., Krste Asanovic wrote:
We’ll meet tomorrow to see if there are any remaining concerns before going Into public review,