catala/tests/test_scope/sub_sub_scope.catala.B.out
2020-12-29 22:26:10 +01:00

14 lines
455 B
Plaintext

[ERROR] There is a conflict between multiple exceptions for assigning the same variable.
[ERROR]
[ERROR] This justification is true:
[ERROR] --> test_scope/sub_sub_scope.catala
[ERROR] |
[ERROR] 24 | def y [| a2.x = 1 |] := 1
[ERROR] | ^^^^^^^^
[ERROR]
[ERROR] This justification is true:
[ERROR] --> test_scope/sub_sub_scope.catala
[ERROR] |
[ERROR] 25 | def y [| a2.x + 1 = 2 |] := 1
[ERROR] | ^^^^^^^^^^^^