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
9fc4c0c10c
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.

44 lines
904 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:
--> integer
Tweak the order in which typing is done
2022-09-20 19:32:38 +03:00
--> Structure
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
Error coming from typechecking the following expression:
Some fancy unicode for error outlines Normally I would make sure this is not by default, or at leat disableable; but here the code we print may contain utf8 anyway, so the terminal really needs to support it. Anyway, it's just a little fancier, doesn't add much.
2022-10-27 13:18:00 +03:00
┌─⯈ tests/test_typing/bad/err5.catala_en:8.4-8
└─┐
│
8 │ 1040
│ ‾‾‾‾
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:
Some fancy unicode for error outlines Normally I would make sure this is not by default, or at leat disableable; but here the code we print may contain utf8 anyway, so the terminal really needs to support it. Anyway, it's just a little fancier, doesn't add much.
2022-10-27 13:18:00 +03:00
┌─⯈ tests/test_typing/bad/err5.catala_en:8.4-8
└─┐
│
8 │ 1040
│ ‾‾‾‾
Tweak the order in which typing is done
2022-09-20 19:32:38 +03:00
Type Structure coming from expression:
Some fancy unicode for error outlines Normally I would make sure this is not by default, or at leat disableable; but here the code we print may contain utf8 anyway, so the terminal really needs to support it. Anyway, it's just a little fancier, doesn't add much.
2022-10-27 13:18:00 +03:00
┌─⯈ tests/test_typing/bad/common.catala_en:14.30-39
└──┐
│
14 │ output z content collection Structure
│ ‾‾‾‾‾‾‾‾‾
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