On 6/21/16 5:19 PM, Timon Gehr wrote:
The problem here is that both variants make sense depending on context and there is no syntax to distinguish between them. This proposal interacts in a weird way with IFTI.
I know you are probably right, but can you explain maybe via an example what you mean? I'm not understanding your point.
-Steve
