Replaceable and redeclare fails for complex structures

[Christian Kral <dr.christian.kral@…>]

Consider ExampleA of the package Redeclaration

package Redeclaration
  extends Modelica.Icons.Package;
  model ExampleA
    extends PartialExample(
      redeclare parameter Redeclaration.Records.RecordA mainRecord);
  end ExampleA;

  model PartialExample "Partial example"
    extends Modelica.Icons.Example;
    replaceable parameter Redeclaration.Records.BaseRecord mainRecord;
  end PartialExample;

  package Records
    extends Modelica.Icons.Package;
    partial record BaseRecord
      extends Modelica.Icons.Record;
      replaceable parameter Redeclaration.SubRecords.BaseSubRecord subRecord "Sub record";
      parameter Integer i = 3 "Integer parameter";
      parameter Real r = 1.0  "Real parameter";
    end BaseRecord;

    record RecordA "Spezialization of record"
      extends Redeclaration.Records.BaseRecord(redeclare parameter Redeclaration.SubRecords.SubRecordA subRecord);
    end RecordA;
  end Records;

  package SubRecords
    extends Modelica.Icons.Package;
    record BaseSubRecord
      extends Modelica.Icons.Record;
      parameter Integer i_sub = 1 "Integer of sub record";
      parameter Real r_sub = 1.0 "Real of sub record";
    end BaseSubRecord;

    record SubRecordA "Specialization of sub record"
      extends Redeclaration.SubRecords.BaseSubRecord;
      parameter Real A_sub "Additional parameter of sub record";

    end SubRecordA;
  end SubRecords;
  annotation (uses(Modelica(version="3.2.2")));
end Redeclaration;

Run Redeclaration.ExampleA. The variable browser show reveal the following parameters:

• mainRecord.A this parameter is missing but should appear
• mainRecord.i
• mainRecord.r
• mainRecord.subRecord.A_sub
• mainRecord.subRecord.i_sub
• mainRecord.subRecord.r_sub

I discovered the problem already quite some time ago. However, I reduced the complexity of the original problem to demonstrate the issue here.

Possibly, tickets #4012, #4172, #4179 and #4235 are related with this issue.

[Christian Kral <dr.christian.kral@…>]

I have to revise the provided code...

[Christian Kral <dr.christian.kral@…>]

This ticket is invalid; OpenModelica simulates the model I intended to show with no issues.