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

Add verbose error test

Browse Source
This commit is contained in:
vbot 2024-06-20 14:21:12 +02:00
parent 435794d70a
commit 41caecef63
No known key found for this signature in database
GPG Key ID: A102739F983C6C72
1 changed files with 60 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

60
tests/default/bad/verbose_errors.catala_en Normal file
View File

@ -0,0 +1,60 @@
###Article
```catala
declaration structure S:
data field0 content integer
data field1 content integer
data field2 content integer
data field3 content integer
data field4 content integer
data field5 content integer
data field6 content integer
data field7 content integer
data field8 content integer
data field9 content integer
data field10 content integer
data field11 content integer
data field12 content integer
data field13 content integer
data field14 content integer
data field15 content integer
data field16 content integer
data field17 content integer
data field18 content integer
data field19 content integer
declaration scope A:
input wrong_definition content S
output o content integer
scope A:
definition o equals wrong_definition.field20
```
```catala-test-inline
$ catala test-scope A
┌─[ERROR]─
│
│ Field "field20" does not belong to structure "S".
│
├─➤ tests/default/bad/verbose_errors.catala_en:31.22-31.46:
│ │
│ 31 │ definition o equals wrong_definition.field20
│ │ ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
├─ Article
│
│ Structure definition
├─➤ tests/default/bad/verbose_errors.catala_en:4.23-4.24:
│ │
│ 4 │ declaration structure S:
│ │ ‾
├─ Article
│
│ Maybe you wanted to write : "field0", or "field1", or "field2",
│ or "field3", or "field4", or "field5", or "field6", or "field7",
│ or "field8", or "field9", or "field10", or "field11", or "field12",
│ or "field13", or "field14", or "field15", or "field16", or "field17",
│ or "field18", or "field19", or "o" ?
└─
#return code 123#
```