typecheck
Overview
Taq typecheck
is used to run a typecheck on a Michelson source file. The task expects the Michelson file(s) to be located in the /artifacts
directory
note
Typechecking is executed by a Tezos node. The current implementation of the Tezos Client plugin requires a running Flextesa node. Before running taq typecheck
, you will need to install the Flextesa plugin and start up a sandbox taq start sandbox local
Plugin Implementations
This task is implemented by the following plugins:
Plugin Name | Description |
---|---|
@taqueria/plugin-tezos-client | Provides an abstraction of tezos-client |
Command
taq typecheck [file] [sandboxName]
Task Details
Task Name | Aliases | Command | Type | Description |
---|---|---|---|---|
typecheck | tc | taq typecheck [file] | Plugin - nodes | Runs a typecheck on one or more Michelson contracts |
Command-Line Arguments
Argument | Required | Shortflag | Description | Example Usage |
---|---|---|---|---|
[file] | No | Name of the Michelson file to typecheck | taq typecheck counter.tz | |
[sandboxName] | No | -s | Name of the sandbox to use | taq typecheck -s jakarta_sandbox |
Usage
Description | Command | Behaviour |
---|---|---|
Typecheck all Michelson files | taq typecheck | Typechecks each Michelson file in /artifacts against the default sandbox |
Typecheck one Michelson file | taq typecheck example.tz | Typechecks the file example.tz against the default sandbox |
Typecheck two Michelson files | taq typecheck example.tz example2.tz | Typechecks the files example.tz and example2.tz against the default sandbox |
Typecheck files with a custom sandbox | taq typecheck -s jakarta_sandbox | Typechecks each Michelson file in /artifacts against the default sandbox |