Merge branch 'parameter_check' into 'master'

Enable parameter check See merge request lfortran/lfortran!1141
angeles-ricardo-89 · Aug 9, 2021 · 5af7fe7 · 5af7fe7
2 parents 2112248 + 2bde3a4
commit 5af7fe7
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/lfortran/semantics/ast_symboltable_visitor.cpp b/src/lfortran/semantics/ast_symboltable_visitor.cpp
@@ -721,9 +721,8 @@ class SymbolTableVisitor : public AST::BaseVisitor<SymbolTableVisitor> {
                     if (storage_type == ASR::storage_typeType::Parameter) {
                         value = ASRUtils::expr_value(init_expr);
                         if (value == nullptr) {
-                            // TODO: enable this after intrinsic functions (kind) evaluation is implemented:
-                            //throw SemanticError("Value of a parameter variable must evaluate to a compile time constant",
-                            //    x.base.base.loc);
+                            throw SemanticError("Value of a parameter variable must evaluate to a compile time constant",
+                                x.base.base.loc);
                         }
                     }
                 }