tree 7395a6c3cf54d0a11464836aad7e90d005bc2fe3
parent 75dce8d683d0d265114ad5b2ec118f32ac695fd5
author Hugo Lefeuvre <hugo.lefeuvre@scisemi.com> 1718097207 +0200
committer David Chisnall <davidchisnall@users.noreply.github.com> 1718183269 +0100

Differentiate heap/quota exhausted in the return value of `mspace_dispatch`.

The return value of `mspace_dispatch` currently maps two error types,
1) heap exhausted and 2) quota exhausted, to the same return error tag
type `AllocationFailureDeallocationNeeded`.

Since we need to distinguish between the two in `heap_allocate*`,
create two new distinct tag types.

While at it, clarify the documentation of `mspace_dispatch`.

Signed-off-by: Hugo Lefeuvre <hugo.lefeuvre@scisemi.com>