Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
495662183This file is pinned to the selected release. Download the original to open it in your design tool.
---CODE---
1
---STDERR---
error: `main' requires at least 1 parameters but 0 were provided
┌─ tests/errors/binding/main-param.fil:2:6
│
2 │ comp main[A]<'G:1>() -> () {
│ ^^^^ `main' requires at least 1 parameters but 0 were provided
error: Incorrect parameter bindings provided to top-level component main
= Parameter bindings should be provided via the `--bindings` flag in a `.toml` file.
Compilation failed with 2 errors.
Run with --show-models to generate assignments for failing constraints.