Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
---CODE---
1
---STDERR---
error: component's body does not satisfy constraint on existentially-quantified parameter
┌─ tests/errors/existential/body.fil:2:10
│
2 │ some L where L > W;
│ ^ cannot prove constraint on existentially quantified parameter
Compilation failed with 1 errors.
Run with --show-models to generate assignments for failing constraints.
7aa19ccf2This file is pinned to the selected release. Download the original to open it in your design tool.