From 41caecef63378620824610f7615c42e9af3a3e07 Mon Sep 17 00:00:00 2001
From: vbot <vincent.botbol@inria.fr>
Date: Thu, 20 Jun 2024 14:21:12 +0200
Subject: [PATCH] Add verbose error test

---
 tests/default/bad/verbose_errors.catala_en | 60 ++++++++++++++++++++++
 1 file changed, 60 insertions(+)
 create mode 100644 tests/default/bad/verbose_errors.catala_en

diff --git a/tests/default/bad/verbose_errors.catala_en b/tests/default/bad/verbose_errors.catala_en
new file mode 100644
index 00000000..b592ca7d
--- /dev/null
+++ b/tests/default/bad/verbose_errors.catala_en
@@ -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#
+```