Remove name from public (#2595)

Author: Schaeff

ast/src/analyzed/mod.rs

@@ -848,7 +848,6 @@ impl Children<Expression> for NamedType {
 pub struct PublicDeclaration {
     pub id: u64,
     pub source: SourceRef,
-    pub name: String,
     /// The declaration value, in two possible forms: polynomial[array_index](row) OR polynomial(row)
     /// where "row" is the evaluation point of the polynomial.
     pub value: Expression,

backend/src/estark/json_exporter/mod.rs

@@ -7,7 +7,7 @@ use std::{cmp, path::PathBuf};
 use powdr_ast::analyzed::{
     AlgebraicBinaryOperation, AlgebraicBinaryOperator, AlgebraicExpression as Expression,
     AlgebraicUnaryOperation, AlgebraicUnaryOperator, Analyzed, FunctionValueDefinition, Identity,
-    PolyID, PolynomialType, PublicDeclaration, StatementIdentifier, SymbolKind,
+    PolyID, PolynomialType, StatementIdentifier, SymbolKind,
 };
 use powdr_parser_util::SourceRef;
 use starky::types::{
@@ -63,12 +63,8 @@ pub fn export<T: FieldElement>(analyzed: &Analyzed<T>) -> PIL {
                             exporter.intermediate_poly_expression_ids[&id.id] as usize
                         );
                     }
-                } else if let Some((
-                    poly,
-                    Some(FunctionValueDefinition::PublicDeclaration(
-                        pubd @ PublicDeclaration { name, .. },
-                    )),
-                )) = analyzed.definitions.get(name)
+                } else if let Some((poly, Some(FunctionValueDefinition::PublicDeclaration(pubd)))) =
+                    analyzed.definitions.get(name)
                 {
                     assert_eq!(poly.kind, SymbolKind::Public());
                     let symbol = &analyzed.definitions[&pubd.referenced_poly().name].0;

pil-analyzer/src/statement_processor.rs

@@ -520,12 +520,7 @@ where
         array_index: Option<parsed::Expression>,
         row: parsed::Expression,
     ) -> Result<Vec<PILItem>, Error> {
-        let Symbol {
-            id,
-            source,
-            absolute_name,
-            ..
-        } = symbol.clone();
+        let Symbol { id, source, .. } = symbol.clone();
 
         let row: u32 = untyped_evaluator::evaluate_expression_to_int(
             self.driver,
@@ -594,7 +589,6 @@ where
                 PublicDeclaration {
                     id,
                     source: source.clone(),
-                    name: absolute_name,
                     value,
                 },
             )),