[#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 ofExecutorError
- Use
IllTyped*
constructors ofInterpretError
fromMichelson.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
Stylistic guide (mandatory)
-
My commits comply with the following policy. -
My code complies with the style guide.
Edited by Alyona Antonova