modelica / ModelicaStandardLibrary

Free (standard conforming) library to model mechanical (1D/3D), electrical (analog, digital, machines), magnetic, thermal, fluid, control systems and hierarchical state machines. Also numerical functions and functions for strings, files and streams are included.
https://doc.modelica.org
BSD 3-Clause "New" or "Revised" License
452 stars 165 forks source link

Make propagation final of lifted parameter 'c' in Spring #4407

Open henrikt-ma opened 1 month ago

henrikt-ma commented 1 month ago

Fixes #3707.

As there wasn't any arguments agains making the propagation of c final in #3707, I suggest that we go with this solution.

One could argue that there are more parameters whose propagation should be final, but I'm starting with this one which is sufficient to fix the issue.

henrikt-ma commented 1 month ago

By the way, the discussion in MO-2748 didn't take us much further. It gives us a language to express initialization problems more clearly in Base Modelica, but doesn't provide a full specification of how full Modelica initialization should be turned into Base Modelica.