edict_check
Validate Edict language code by running semantic checks including type checking, effect verification, and contract validation on AST inputs.
Instructions
Run the full semantic checker (name resolution, type checking, effect checking, contract verification) on an AST. Supports single module (ast) or multi-module (modules array) input.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ast | No | The Edict JSON AST to check (single module) | |
| modules | No | Array of Edict module ASTs to check together (multi-module). Cross-module imports are resolved automatically. |