catala/tests/test_scope/cycle_in_scope.catala.A.out
2020-12-06 18:09:48 +01:00

38 lines
1.1 KiB
Plaintext

[ERROR] Cyclic dependency detected between variables of scope A!
[ERROR]
[ERROR] Cycle variable z, declared:
[ERROR] --> test_scope/cycle_in_scope.catala
[ERROR] |
[ERROR] 7 | param z content int
[ERROR] | ^
[ERROR]
[ERROR] Used here in the definition of another cycle variable x:
[ERROR] --> test_scope/cycle_in_scope.catala
[ERROR] |
[ERROR] 14 | def x := z
[ERROR] | ^
[ERROR]
[ERROR] Cycle variable y, declared:
[ERROR] --> test_scope/cycle_in_scope.catala
[ERROR] |
[ERROR] 6 | param y content int
[ERROR] | ^
[ERROR]
[ERROR] Used here in the definition of another cycle variable z:
[ERROR] --> test_scope/cycle_in_scope.catala
[ERROR] |
[ERROR] 13 | def z [y < 1] := y
[ERROR] | ^
[ERROR]
[ERROR] Cycle variable x, declared:
[ERROR] --> test_scope/cycle_in_scope.catala
[ERROR] |
[ERROR] 5 | param x content int
[ERROR] | ^
[ERROR]
[ERROR] Used here in the definition of another cycle variable y:
[ERROR] --> test_scope/cycle_in_scope.catala
[ERROR] |
[ERROR] 11 | def y [x >= 0] := x
[ERROR] | ^