[NB] partially fix fill() and similar functions for resizable input (#13520)

- [NF] add a resizable check to the frontend so it accepts it
 - lower variable and equation types

Author: kabdelhak

OMCompiler/Compiler/NBackEnd/Classes/NBackendDAE.mo

@@ -612,7 +612,10 @@ protected
     variables       := VariablePointers.addList(binding_iter_lst, variables);
     knowns          := VariablePointers.addList(binding_iter_lst, knowns);
     artificials     := VariablePointers.addList(binding_iter_lst, artificials);
+
+    // lower the component references properly
     variables       := VariablePointers.map(variables, function Variable.mapExp(fn = function lowerComponentReferenceExp(variables = variables)));
+    variables       := VariablePointers.map(variables, function Variable.applyToType(func = function Type.applyToDims(func = function lowerDimension(variables = variables))));
 
     /* lower the records to add children */
     records         := VariablePointers.mapPtr(records, function lowerRecordChildren(variables = variables));
@@ -1278,11 +1281,28 @@ protected
         call.iters := list(Util.applyTuple21(tpl, function lowerInstNode(variables = variables)) for tpl in call.iters);
         exp.call := call;
       then exp;
+
       else exp;
     end match;
+
+    // also lower dimensions in the case of resizable variables
+    exp := Expression.applyToType(exp, function Type.applyToDims(func = function lowerDimension(variables = variables)));
   end lowerComponentReferenceExp;
 
-  protected function lowerComponentReference
+  protected function lowerDimension
+    input output Dimension dim;
+    input VariablePointers variables;
+  algorithm
+    dim := match dim
+      case Dimension.RESIZABLE() algorithm
+        dim.exp := Expression.map(dim.exp, function lowerComponentReferenceExp(variables = variables));
+      then dim;
+
+      else dim;
+    end match;
+  end lowerDimension;
+
+  function lowerComponentReference
     input output ComponentRef cref;
     input VariablePointers variables;
   protected

OMCompiler/Compiler/NFFrontEnd/NFBuiltinCall.mo

@@ -956,7 +956,7 @@ protected
       (arg, arg_ty, arg_var, arg_pur) := Typing.typeExp(arg, context, info);
 
       if not (InstContext.inAlgorithm(context) or InstContext.inFunction(context)) then
-        if arg_var > Variability.PARAMETER and not InstContext.inInstanceAPI(context) then
+        if arg_var > Variability.PARAMETER and not (InstContext.inInstanceAPI(context) or Expression.contains(arg, Expression.isResizableCref)) then
           Error.addSourceMessageAndFail(Error.NON_PARAMETER_EXPRESSION_DIMENSION,
             {Expression.toString(arg), String(index),
              List.toString(fillArg :: dimensionArgs, Expression.toString,

OMCompiler/Compiler/NFFrontEnd/NFExpression.mo

@@ -4479,6 +4479,16 @@ public
     end match;
   end extractCref;
 
+  function isResizableCref
+    input Expression exp;
+    output Boolean b;
+  algorithm
+    b := match exp
+      case CREF() then ComponentRef.isResizable(exp.cref);
+      else false;
+    end match;
+  end isResizableCref;
+
   function isIterator
     input Expression exp;
     output Boolean isIterator;