Skip to content

[#325] Remove useless error entities from `Michelson.Interpret`

Description

There are two ways to report typechecker error in the ExecutorError datatype from Michelson.Runtime:

  • Use EEIllTyped* constructors of ExecutorError
  • Use IllTyped* constructors of InterpretError from Michelson.Interpret

It can lead to difficulties in pattern-matching over errors, because double error handlings is basically needed for this.

However, we use these IllTyped* constructors only in interpretUntyped function, which is not used anywhere in the project.

The solution is to get rid of interpretUntyped and IllTyped* as a result. This doesn't influence other modules.

Related issue(s)

Resolves #325 (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 Alyona Antonova

Merge request reports