Issue with NFCeval.evalBinarySub

[Francesco Casella]

Please check ​ThermoPower.Examples.HRB.Simulators.ClosedLoopDigitalSimulator. The following error is reported:

[Compiler/NFFrontEnd/NFCeval.mo:559:9-559:67:writable] Error: 
Internal error NFCeval.evalBinarySub failed to evaluate ‘j - 1‘

The error is so bad that even the encoding of the stuff which cannot be evaluated is wrong...

[Martin Sjölund]

The error is so bad that even the encoding of the stuff which cannot be evaluated is wrong...

I fixed the server to return encoding=utf8 for .err and .sim files. It just says:

‘j - 1‘

(using utf8 pretty quotes)

[Per Östlund]

Fixed in 82c686da. The model now seemingly fails due to #4968 instead.

[Francesco Casella]

Another failure case here: ​Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.InductionMachines.IMC_Characteristics:

[OMCompiler/Compiler/NFFrontEnd/NFCeval.mo:752:9-752:67:writable]
Error: Internal error NFCeval.evalBinarySub failed to evaluate k - 1

[Per Östlund]

The issue is that we try to generate equality constraint equations during the typing, before for-loops have been unrolled. And as part of that we try to evaluate the subscripts used in connect equations, which in the case of the FundamentalWave models include iterators that can't be evaluated at that stage.

[Francesco Casella]

This particular problem is now solved, the model fails for other reasons, possibly related to #5163

[Francesco Casella]

Still fails for this reason in ​Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines.InductionMachines.IMC_Characteristics.

[Francesco Casella]

As well as 16 models in Modelica.Magnetic.QuasiStatic.FundamentalWave.Examples.BasicMachines

[Per Östlund]

This was fixed some time ago, all the QuasiStatic models now seem to work as well as with the old frontend.