Quentin Lambert

Oh right I keep forgetting that redeclaring non-replaceable element is allowed...

The justification is in Section 7.3.3: > Only classes and components declared as replaceable can be redeclared with a new type, which > must have an interface compatible with the...

It was a conscious choice not to include an exhaustive list of builtin functions as, as you said, they can be trivially added later if we agree on the base...

> For the power operator I would just split it based on the type of the exponent: > > * Integer: Integer-power even if not evaluated What would be the...

> I wonder how to easily lookup a _magnitude_ with implicit `unit = "1"` This proposal helpfully provides an operator just for that purpose: `withoutUnit(expr, "unit")` It outputs the magnitude...

> I can see this - and it would be similar to figuring out the unit for `Real z=if time>=0.4 then x else x*x;` Which this proposal treat a similar...

> I find it sub-optimal if a particular algorithm ("Hindley Midler") is required in the specification: To my knowledge, a concrete algorithm was never required in the Modelica Specification, simply...

> If better unit-checking is introduced, There is no such thing as unit-checking in the specs. This is literally what this MCP is about.

> I think the answer is simple from your analysis: Use only the units for one variable at a time, because simpler and better diagnostics. If the user is not...

> Will this give the same result? (Except for error diagnostics when it fails.) I think the place it may differ is for models like HelloWorld. Where, a sensible unit-system...