filament

---CODE---
1
---STDERR---
error: instance must be shared with sufficient delay
  ┌─ tests/errors/../../examples/sequential.fil:3:18
  │
3 │ comp Mult[#W]<G: 2>(
  │                  ^ delay requires 2 cycle between event but reuse may occur after |0-1| cycles
  │
  ┌─ tests/errors/conflicting-use.fil:7:3
  │
7 │   m0 := M<G>(10, 20);
  │   -- invocation starts at `G'
8 │   m1 := M<G+1>(30, 40);
  │   -- invocation starts at `G+1'

error: instance must be shared with sufficient delay
  ┌─ tests/errors/../../examples/sequential.fil:3:18
  │
3 │ comp Mult[#W]<G: 2>(
  │                  ^ delay requires 2 cycle between event but reuse may occur after 1 cycles
  │
  ┌─ tests/errors/conflicting-use.fil:7:3
  │
7 │   m0 := M<G>(10, 20);
  │   -- invocation starts at `G'
8 │   m1 := M<G+1>(30, 40);
  │   -- invocation starts at `G+1'

Compilation failed with 2 errors.
Run with --show-models to generate assignments for failing constraints.