Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
148c527c4This 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.