Improve error message.

powdr-labs · Feb 5, 2024 · 5999b6d · 5999b6d
1 parent f6024b8
commit 5999b6d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pil-analyzer/src/statement_processor.rs b/pil-analyzer/src/statement_processor.rs
@@ -208,15 +208,15 @@ where
                     .map(|t| {
                         if let Type::Array(ArrayType { base, length }) = &t {
                             if base.as_ref() != &Type::col() {
-                                panic!("This declaration has no value and thus must be a witness column array, but its type is {t} instead of col[]");
+                                panic!("Symbol {name} is declared without value and thus must be a witness column array, but its type is {t} instead of col[].");
                             }
                             if length.is_none() {
                                 panic!("Explicit array length required for column {name}: {t}");
                             }
                             t
                         } else {
                             if t != Type::col() {
-                                panic!("This declaration has no value and thus must be a witness column, but its type is {t} instead of col");
+                                panic!("Symbol {name} is declared without value and thus must be a witness column, but its type is {t} instead of col.");
                             }
                             t
                         }