CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

commit not passing test about closure conversion

Browse Source
This commit is contained in:
adelaett 2023-04-14 16:34:37 +02:00
parent e5d518af69
commit a11ec6020e
No known key found for this signature in database
GPG Key ID: 367A8C08F513BD65
1 changed files with 2 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
tests/test_func/good/closure_conversion.catala_en
View File

@ -13,22 +13,6 @@ scope S:
```catala-test-inline
$ catala Lcalc -s S --avoid_exceptions -O --closure_conversion
let S =
λ (S_in: S_in {"x_in": bool}) →
let x : bool = S_in."x_in" in
let f : (((bool), integer) → integer * (bool)) =
let f1 : ((bool), integer) → integer =
λ (env: (bool)) (y: integer) →
let x1 : bool = env.0 in
if x1 then y else -! y
in
(f1, (x))
in
let z : integer =
let code_and_env : (((bool), integer) → integer * (bool)) = f in
let code : ((bool), integer) → integer = code_and_env.0 in
let env : (bool) = code_and_env.1 in
code env, -1
in
{S "z" = z}
[ERROR] Internal Error, please report to https://github.com/CatalaLang/catala/issues: The boxed term is not closed the variables _; x is free in the global context
#return code 255#
```