Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
3c17db5ceThis file is pinned to the selected release. Download the original to open it in your design tool.
---CODE---
1
---STDERR---
error: Default values for parameters in the main component must be concrete
┌─ tests/errors/binding/main-concrete.fil:2:19
│
2 │ comp main[?A=31, ?B=1+A]<'G:1>() -> () {
│ ^ Parameter was not given a concrete value
Compilation failed with 1 errors.
Run with --show-models to generate assignments for failing constraints.