« Previous | Next » 

Revision f2280553

IDf2280553304850448234b792c9423bd80609d401
Parent 266aea94
Child c43c3354

Added by Iustin Pop almost 15 years ago

Introduce a new type for allocation results

Currently the allocation/move operations workflow return ‘Maybe a’,
which is very convenient but loses all details about the failure mode.

This patch introduces a new data type which encodes the specific failure
mode. It is not yet used correctly (e.g. all node operations result in
FailN1), but the workflow is updated. Most of the changes are in the
hail/hspace tools, the library code required only trivial adjustments.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences