Version: 0.15.0

print-mini-c

NAME#

ligo-print-mini-c - Subcommand: Print Mini-C. Warning: Intended for development of LIGO and can break at any time.

SYNOPSIS#

ligo print-mini-c [OPTION]... SOURCE_FILE

DESCRIPTION#

This sub-command prints the source file in the Mini-C stage. Internally, it uses the build system to type and compile the contract. Compilation is applied after combination in the AST typed stage.

ARGUMENTS#

SOURCE_FILE (required)

: SOURCE_FILE is the path to the smart contract file.

OPTIONS#

--format=DISPLAY_FORMAT, --display-format=DISPLAY_FORMAT (absent=human-readable)

: DISPLAY_FORMAT is the format that will be used by the CLI. Available formats are `dev`, `json`, and `human-readable` (default). When human-readable lacks details (we are still tweaking it), please contact us and use another format in the meanwhile.

--help[=FMT] (default=auto)

: Show this help in format FMT. The value FMT must be one of `auto`, `pager`, `groff` or `plain`. With `auto`, the format is `pager` or `plain` whenever the TERM env var is `dumb` or undefined.

--infer

: enable type inference

--optimize=ENTRY_POINT

: Apply Mini-C optimizations as if compiling ENTRY_POINT

-p PROTOCOL_VERSION, --protocol=PROTOCOL_VERSION (absent=current)

: PROTOCOL_VERSION will decide protocol`s types/values pre-loaded into the LIGO environment (edo). By default, the current protocol (edo) will be used

-s SYNTAX, --syntax=SYNTAX (absent=auto)

: SYNTAX is the syntax that will be used. Currently supported syntaxes are \"pascaligo\", \"cameligo\", \"reasonligo\" and \"jsligo\". By default, the syntax is guessed from the extension (.ligo, .mligo, .religo, and .jsligo respectively).

--version

: Show version information.