Skip to content

[#707] Track delegate registration in interpreter

Discussion point: Does it make sense to add a transfer failure predicate for "delegate unregistered"?

Description

Problem: Address status as registered delegate is ignored in the interpreter

Solution: Track registration status and fail when trying to set contract's delegate to an address not registered as delegate.

Handle this error as TransferFailure in Cleveland

Handle unregistered_delegate in morley-client.

Related issue(s)

Resolves #707 (closed)

Checklist for your Merge Request

Related changes (conditional)

  • Tests (see short guidelines)

    • If I added new functionality, I added tests covering it.
    • If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.
  • Documentation

    • I checked whether I should update the docs and did so if necessary:
    • I updated changelog files of all affected packages released to Hackage if my changes are externally visible.

Stylistic guide (mandatory)

Edited by Nikolay Yakimov

Merge request reports