On Mon, 19 May 2014 14:49:41 -0400, Ola Fosheim Grøstad <[email protected]> wrote:

On Monday, 19 May 2014 at 18:33:55 UTC, Steven Schveighoffer wrote:

Then you should have no problem producing an example, right?

I did. Besides, I think language constructs should be proven sound a priori, not post mortem...

Let me cut to the chase here. I haven't seen it. Let's not go any further until you can produce it.

-Steve

Reply via email to