Type mismatch in enumeration types

[palm86@…]

Hi

The following construct used to work in OpenModelica, but after a recent update does not work anymore. I'm not sure if this is a regression or whether the construct was illegal to begin with.

type Name = enumeration(a, b);
Substance[Name] substances(each index = {i for i in Name});

where Substance has an attribute called "index".

I get the following error:

Error: Type mismatch in binding index = {Name.a, Name.b}, expected subtype of enumeration(a, b), got type enumeration(a, b)[Name].

[Martin Sjölund]

Invalid each is something that was not legal but OpenModelica used to allow.

I would expect the following to work, but it does not work either:

model M
record Substance
  Name index;
end Substance;
type Name = enumeration(a, b);
Substance[Name] substances(index = {i for i in Name});
end M;

[palm86@…]

I've also tried the following, since Name should behave a bit like an array:

model M
record Substance
   Name index;
end Substance;
type Name = enumeration(a, b);
Substance[Name] substances(index = Name);
end M;

but still no luck.

[Per Östlund]

Fixed in ​e95da2b. The original model with 'each' correctly gives an error, while removing the 'each' works as it should. Your last model also works, although strictly speaking it shouldn't since the spec says that enumeration type names may only be used as dimensions and for loop ranges. But that's a relatively recent addition to the spec, so we still just expand the enumeration type name whenever it's used as an expression.