Overloading '-'

[Martin Sjölund]

The following generates the same code for both assignments (wrong for subtraction):

operator record C
  Real r;
  encapsulated operator 'constructor'
    import C;
    function fromReal
      input Real r;
      output C c;
    algorithm
      c.r := r;
    end fromReal;
  end 'constructor';
  encapsulated operator function '+'
    import C;
    input C c1,c2;
    output C c;
  algorithm
    c.r := c1.r + c2.r;
  end '+';
  encapsulated operator function '-'
    import C;
    input C c1,c2;
    output C c;
  algorithm
    c.r := c1.r - c2.r;
  end '-';
end C;

model M
  C c1,c2;
  Real r;
algorithm
  c2 := r - c1;
  c2 := c1 - r;
end M;

[Martin Sjölund]

I'll work on cleaning up record overloading a bit

[Martin Sjölund]

Also, fix so we do not allow:

  encapsulated operator function '+'
    import C;
    input C c1,c2;
    output Real r;
  algorithm
    r := c1.r + c2.r;
  end '+';

And some more things in the spec...

[Martin Sjölund]

Fixed, except comment:3 which is actually allowed on closer reading of the spec.