ufcs and integer params

[Timon Gehr]

On 07/15/2012 11:35 PM, Jonathan M Davis wrote:
> On Sunday, July 15, 2012 23:29:04 Timon Gehr wrote:
>>> The current plan is (and has been for some time)
>>> that -property will become the normal behavior,
>>
>> It is obvious that -property is broken and will not become the normal
>> behaviour.
>
> It is obvious that -property needs to be fixed before it becomes the normal
> behavior. It is _not_ obvious that it will not become the normal behavior. The
> -property flag was created explicitly so that its implementation could be fixed
> _before_ making it the normal behavior and so that programmers had time to fix
> their code before it become enforced.
>
> - Jonathan M Davis

I'd say the -property switch is there to make the fruitless
bikeshedding discussions about @property disappear. Nothing else makes
sense. Its inclusion obviously has been rushed (the error message does 
not even follow English grammar) and it _only_ implements the one
restriction that does not objectively matter.