type CondEnum = enumeration(a, b);



model Test

  final parameter CondEnum cond = CondEnum.b;

        parameter Real val = 1.0;

  final parameter Real final_value = 1.0;



        parameter Real value1 = if cond == CondEnum.a then val         else -val;

  final parameter Real value2 = if cond == CondEnum.a then val         else -val;

        parameter Real value3 = if cond == CondEnum.a then final_value else -final_value;                                  



  Real result1;  

  Real result2;

  Real result3;



equation

  result1 = value1; // ok    (==-val)

  result2 = value2; // error (==0)

  result3 = value3; // error (==0)

end Test;