CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 00:15:39 +03:00
Code Issues Projects Releases Wiki Activity

Update test on i/o variable check

Browse Source 
This is no longer detected by pure type-checking, as the check is done during
compilation to scope-lang, which now takes place afterwards.
This commit is contained in:
Louis Gesbert 2022-10-04 14:47:38 +02:00
parent 1b3a1f7219
commit 6c0c2f073d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/test_io/bad/using_non_output.catala_en
View File

@ -14,7 +14,7 @@ scope B:
assertion a.a = 0
```
```catala-test-inline
$ catala Typecheck
$ catala Dcalc
[ERROR] The variable a.a cannot be used here, as it is not part subscope a's results. Maybe you forgot to qualify it as an output?
Incriminated variable usage: