[#159] Make it possible to define a type with FA2 annotations
Description
Problem: See FA2.
One day we will inevitably have to implement a contract conforming to it
in Lorentz or Indigo. Look at the total_supply
type:
(pair %total_supply
(list %token_ids nat)
(contract %callback
(list
(pair
(nat %token_id)
(nat %total_supply)
)
)
)
)
There are two problems:
-
snake_case
annotations. - Field annotations for things that are not entrypoints.
Currently we can't generate such things.
Solution: Add ability to generate field annotation for record type in entrypoint sum types.
Related issue(s)
Resolves #159 (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.