Don't actually generate let

Author: YingboMa

src/structural_transformation/codegen.jl

@@ -187,7 +187,8 @@ function gen_nlsolve!(is_not_prepended_assignment, eqs, vars, u0map::AbstractDic
         [],
         Let(
             needed_assignments[inner_idxs],
-            isscalar ? rhss[1] : MakeArray(rhss, SVector)
+            isscalar ? rhss[1] : MakeArray(rhss, SVector),
+            false
            )
     ) |> SymbolicUtils.Code.toexpr
 
@@ -307,7 +308,8 @@ function build_torn_function(
              [],
              pre(Let(
                      [torn_expr; assignments[is_not_prepended_assignment]],
-                 funbody
+                     funbody,
+                     false
                 ))
             ),
         sol_states
@@ -443,7 +445,8 @@ function build_observed_function(
              subs
              assignments[is_not_prepended_assignment]
             ],
-            isscalar ? ts[1] : MakeArray(ts, output_type)
+            isscalar ? ts[1] : MakeArray(ts, output_type),
+            false
            ))
        ), sol_states)
 

src/systems/diffeqs/odesystem.jl

@@ -289,7 +289,8 @@ function build_explicit_observed_function(
         args, [],
         pre(Let(
             obsexprs,
-            isscalar ? ts[1] : MakeArray(ts, output_type)
+            isscalar ? ts[1] : MakeArray(ts, output_type),
+            false # don't actually use let
            ))
     ) |> toexpr
     expression ? ex : @RuntimeGeneratedFunction(ex)

src/utils.jl

@@ -399,7 +399,7 @@ end
 function get_postprocess_fbody(sys)
     if has_preface(sys) && (pre = preface(sys); pre !== nothing)
         pre_ = let pre=pre
-            ex -> Let(pre, ex)
+            ex -> Let(pre, ex, false)
         end
     else
         pre_ = ex -> ex
@@ -441,10 +441,10 @@ function get_substitutions_and_solved_states(sys; no_postprocess=false)
         @unpack subs = get_substitutions(sys)
         sol_states = Code.NameState(Dict(eq.lhs => Symbol(eq.lhs) for eq in subs))
         if no_postprocess
-            pre = ex -> Let(Assignment[Assignment(eq.lhs, eq.rhs) for eq in subs], ex)
+            pre = ex -> Let(Assignment[Assignment(eq.lhs, eq.rhs) for eq in subs], ex, false)
         else
             process = get_postprocess_fbody(sys)
-            pre = ex -> Let(Assignment[Assignment(eq.lhs, eq.rhs) for eq in subs], process(ex))
+            pre = ex -> Let(Assignment[Assignment(eq.lhs, eq.rhs) for eq in subs], process(ex), false)
         end
     end
     return pre, sol_states