remove parameter warning

Author: stringhandler

src/ast.rs

@@ -717,7 +717,6 @@ impl Scope {
 
 #[derive(Clone, Debug, PartialEq, Eq, Hash)]
 pub enum WarningName {
-    ParameterMissing(WitnessName),
     ModuleItemIgnored,
     ArithmeticOperationCouldOverflow,
     DivisionCouldPanicOnZero,
@@ -726,9 +725,6 @@ pub enum WarningName {
 impl fmt::Display for WarningName {
     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
         match self {
-            WarningName::ParameterMissing(witness_name) => {
-                write!(f, "Parameter `{witness_name}` is missing.")
-            }
             WarningName::ModuleItemIgnored => write!(f, "ModuleItem was ignored"),
             WarningName::ArithmeticOperationCouldOverflow => write!(f, "This operator panics if the result overflows. To handle overflow, use the jet directly and destructure the (bool, uN) result."),
             WarningName::DivisionCouldPanicOnZero => write!(f, "This operator panics if the divisor is zero. To handle division by zero, use a jet and check the divisor before using it."),
@@ -745,13 +741,6 @@ pub struct Warning {
 }
 
 impl Warning {
-    fn parameter_missing<S: Into<Span>>(name: WitnessName, span: S) -> Self {
-        Warning {
-            canonical_name: WarningName::ParameterMissing(name),
-            span: span.into(),
-        }
-    }
-
     fn module_item_ignored<S: Into<Span>>(span: S) -> Self {
         Warning {
             canonical_name: WarningName::ModuleItemIgnored,
@@ -1255,13 +1244,12 @@ impl AbstractSyntaxTree for SingleExpression {
                 (SingleExpressionInner::Witness(name.clone()), vec![])
             }
             parse::SingleExpressionInner::Parameter(name) => {
-                // TODO: Should parameters be shown as warnings? Ideally there should not be any parameters during compile
                 scope
                     .insert_parameter(name.shallow_clone(), ty.clone())
                     .with_span(from)?;
                 (
                     SingleExpressionInner::Parameter(name.shallow_clone()),
-                    vec![Warning::parameter_missing(name.shallow_clone(), from)],
+                    vec![],
                 )
             }
             parse::SingleExpressionInner::Variable(identifier) => {