CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-14 03:14:55 +03:00
Code Issues Projects Releases Wiki Activity
76569bb1af
catala/tests/test_typing/bad/err5.catala_en

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

41 lines
858 B
Plaintext
Raw Normal View History

Add a few tests on typing errors the `err6` test also highlights that Typecheck errors get overly delayed
2022-09-15 18:25:58 +03:00
> Include: common.catala_en
```catala
scope S:
definition z equals [
Structure { -- i: 3 -- e: Int content x };
Structure { -- i: 4 -- e: y };
1040
]
definition a equals number of (z ++ z) / 2
```
Turn all existing tests to inline tests Done using ```bash process() { FILE=$1; awk 'match($0, /^```catala-test *{ *id *= *"(.*)" *}/, a) {print "```catala-test-inline"; f="'"$(dirname $FILE)/output/$(basename $FILE)"'." a[1]; getline; print "$ " $0; while ((getline<f) > 0) print; next} {print}' $FILE >$FILE.new; mv $FILE.new $FILE; } for f in tests/test_*/*/*.catala_* examples/**/*.catala_*; do process $f; git add $f; done for d in $(find -name output -type d); do git rm -r $d; done ```
2022-09-23 15:04:13 +03:00
```catala-test-inline
$ catala Typecheck
[ERROR] Error during typechecking, incompatible types:
Fix type-checking error getting delayed The issue was coming from Bindlib: it stores variable bindings as closures, so `Bindlib.box_apply f bx` actually delays the application of `f` until the term is substituted or unboxed (likely long after we are out of the `try..with` block). The proposed fix is to make sure we run the wrapper outside of bindlib applications, on explicitely unboxed terms.
2022-09-16 19:29:27 +03:00
--> decimal
Turn all existing tests to inline tests Done using ```bash process() { FILE=$1; awk 'match($0, /^```catala-test *{ *id *= *"(.*)" *}/, a) {print "```catala-test-inline"; f="'"$(dirname $FILE)/output/$(basename $FILE)"'." a[1]; getline; print "$ " $0; while ((getline<f) > 0) print; next} {print}' $FILE >$FILE.new; mv $FILE.new $FILE; } for f in tests/test_*/*/*.catala_* examples/**/*.catala_*; do process $f; git add $f; done for d in $(find -name output -type d); do git rm -r $d; done ```
2022-09-23 15:04:13 +03:00
--> integer
Error coming from typechecking the following expression:
Fix type-checking error getting delayed The issue was coming from Bindlib: it stores variable bindings as closures, so `Bindlib.box_apply f bx` actually delays the application of `f` until the term is substituted or unboxed (likely long after we are out of the `try..with` block). The proposed fix is to make sure we run the wrapper outside of bindlib applications, on explicitely unboxed terms.
2022-09-16 19:29:27 +03:00
--> tests/test_typing/bad/common.catala_en
|
15 | output a content decimal
| ^
+
Turn all existing tests to inline tests Done using ```bash process() { FILE=$1; awk 'match($0, /^```catala-test *{ *id *= *"(.*)" *}/, a) {print "```catala-test-inline"; f="'"$(dirname $FILE)/output/$(basename $FILE)"'." a[1]; getline; print "$ " $0; while ((getline<f) > 0) print; next} {print}' $FILE >$FILE.new; mv $FILE.new $FILE; } for f in tests/test_*/*/*.catala_* examples/**/*.catala_*; do process $f; git add $f; done for d in $(find -name output -type d); do git rm -r $d; done ```
2022-09-23 15:04:13 +03:00
Fix type-checking error getting delayed The issue was coming from Bindlib: it stores variable bindings as closures, so `Bindlib.box_apply f bx` actually delays the application of `f` until the term is substituted or unboxed (likely long after we are out of the `try..with` block). The proposed fix is to make sure we run the wrapper outside of bindlib applications, on explicitely unboxed terms.
2022-09-16 19:29:27 +03:00
Type decimal coming from expression:
--> tests/test_typing/bad/common.catala_en
|
15 | output a content decimal
| ^^^^^^^
+
Turn all existing tests to inline tests Done using ```bash process() { FILE=$1; awk 'match($0, /^```catala-test *{ *id *= *"(.*)" *}/, a) {print "```catala-test-inline"; f="'"$(dirname $FILE)/output/$(basename $FILE)"'." a[1]; getline; print "$ " $0; while ((getline<f) > 0) print; next} {print}' $FILE >$FILE.new; mv $FILE.new $FILE; } for f in tests/test_*/*/*.catala_* examples/**/*.catala_*; do process $f; git add $f; done for d in $(find -name output -type d); do git rm -r $d; done ```
2022-09-23 15:04:13 +03:00
Fix type-checking error getting delayed The issue was coming from Bindlib: it stores variable bindings as closures, so `Bindlib.box_apply f bx` actually delays the application of `f` until the term is substituted or unboxed (likely long after we are out of the `try..with` block). The proposed fix is to make sure we run the wrapper outside of bindlib applications, on explicitely unboxed terms.
2022-09-16 19:29:27 +03:00
Type integer coming from expression:
--> tests/test_typing/bad/err5.catala_en
|
10 | definition a equals number of (z ++ z) / 2
| ^^^^^^
+
Add test return codes Simply re-generated with 'make tests CLERK_OPTS=--reset'
2022-09-23 15:10:07 +03:00
#return code 255#
Add a few tests on typing errors the `err6` test also highlights that Typecheck errors get overly delayed
2022-09-15 18:25:58 +03:00
```
Reference in New Issue Copy Permalink