Skip to content

[#135] add custom Indigo fromInteger

Pinto Pasquale requested to merge pasqu4le/#135-indigo-fromInteger into master

Description

Implements a fromInteger, used to resolve numeric literals thanks to RebindableSyntax, that takes an additional value (beside the Integer) that provides disambiguation for the resulting value type, with function constructors for this type that match the target Michelson type (int, nat or mutez). Additionally, because of this, the 'int' expression has been renamed 'toInt'.

Related issue(s)

Resolves #135 (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 Pinto Pasquale

Merge request reports