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

Adapt existing tests output

Browse Source
This commit is contained in:
vbot 2024-06-17 16:23:07 +02:00
parent e7beb0daad
commit 6d3239376f
No known key found for this signature in database
GPG Key ID: A102739F983C6C72
2 changed files with 21 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
tests/bool/bad/test_xor_with_int.catala_en
View File

@ -29,5 +29,24 @@ $ catala Typecheck
│ 8 │ definition test_var equals 10 xor 20
│ │ ‾‾‾
└─ 'xor' should be a boolean operator
┌─[ERROR]─
│
│ Error during typechecking, incompatible types:
│ ─➤ integer
│ ─➤ bool
│
│ This expression has type integer:
├─➤ tests/bool/bad/test_xor_with_int.catala_en:8.37-8.39:
│ │
│ 8 │ definition test_var equals 10 xor 20
│ │ ‾‾
├─ 'xor' should be a boolean operator
│
│ Expected type bool coming from expression:
├─➤ tests/bool/bad/test_xor_with_int.catala_en:8.33-8.36:
│ │
│ 8 │ definition test_var equals 10 xor 20
│ │ ‾‾‾
└─ 'xor' should be a boolean operator
#return code 123#
```

4
tests/typing/bad/err2.catala_en
View File

@ -16,7 +16,7 @@ $ catala Typecheck
│
│ Error during typechecking, incompatible types:
│ ─➤ decimal
│ ─➤ list
│ ─➤ list of any
│
│ This expression has type decimal:
├─➤ tests/typing/bad/err2.catala_en:10.39-10.42:
@ -24,7 +24,7 @@ $ catala Typecheck
│ 10 │ definition a equals number of (z ++ 1.1) / 2
│ │ ‾‾‾
│
│ Expected type list coming from expression:
│ Expected type list of any coming from expression:
├─➤ tests/typing/bad/err2.catala_en:10.36-10.38:
│ │
│ 10 │ definition a equals number of (z ++ 1.1) / 2