Opened 13 years ago
Last modified 13 years ago
#1702 closed defect (fixed)
Reject comparison Integer == Enum
| Reported by: | Martin Sjölund | Owned by: | Martin Sjölund |
|---|---|---|---|
| Priority: | high | Milestone: | |
| Component: | Version: | ||
| Keywords: | Cc: | Martin Sjölund, |
Description
{{{model M
type L = enumeration('0','1');
L logic = L.'1';
Boolean b = logic == 0;
end M;}}}
Note:
See TracTickets
for help on using tickets.
Quite hard to add this restriction without changing the libraries because stupid MSL relies on things like:
integer(realVar) == enumVar