ufcs and integer params

[Jonathan M Davis]

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