<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-text-flowed" style="font-family: -moz-fixed;
font-size: 14px;" lang="x-unicode">On 02.07.2017 18:49, Jonas
Maebe wrote:
<br>
<blockquote type="cite" style="color: #000000;">No, there is no
built-in checked conversion from integer to arbitrary
enumeration types. That's why I suggested in the bug report that
started this thread to file a feature request for such a
conversion.
<br>
</blockquote>
<br>
Very good :)
<br>
<br>
<blockquote type="cite" style="color: #000000;">
<blockquote type="cite" style="color: #000000;">Are there any
disadvantages of the enum-AS operator that prevents its
introduction?
<br>
</blockquote>
<br>
Someone else could already have code that overloads the
AS-operator in this way, and such a change would break this (you
cannot overload operators with a built-in meaning). I would be
in favour of a new intrinsic.
<br>
</blockquote>
<br>
If I am not mistaken, the AS operator cannot be overloaded - so no
chance to break legacy code here.
<br>
<br>
Ondrej<br>
</div>
</body>
</html>