[#739] Delete unnecessary `HasStorage` constraints
Description
A Lorentz.Contract
has:
- a
NiceStorage
constraint, which implies aHasAnnotation st
constraint. - a
NiceParameterFull
constraint, which implies aParameterDeclaresEntrypoints
constraint.
However, HasAnnotation st
and ParameterDeclaresEntrypoints
aren't always needed.
When a lorentz contract is imported from a file, the annotations are extracted from the .tz file.
This means that functions like importContract
and embedContract
require the user to declare HasAnnotation
and ParameterDeclaresEntrypoints
instances, even though they're ignored and never used.
This MR aims to remove these constraints, and use them only where they're actually needed.
Related issue(s)
Resolves #739 (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 Diogo Castro