Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
1c36f2b98This file is pinned to the selected release. Download the original to open it in your design tool.
---CODE---
1
---STDERR---
error: required bundle of size `6' but found bundle of size `W+1'
┌─ tests/errors/bundle/multi-len.fil:5:5
│
5 │ f{0..2}{0..3} = g{0..W+1};
│ ^^^^^^^^^^^^^ --------- length of bundle is W+1
│ │
│ length of bundle is 6
Compilation failed with 1 errors.
Run with --show-models to generate assignments for failing constraints.