On Tue, Apr 4, 2017 at 3:41 AM, Paul Jolly <p...@myitcv.org.uk> wrote:
>> When you insert a value keyed by S{}, the compiler creates a value of
>> type I which has S as its dynamic type and S{} as its value.
>>
>> The program as speficied panics with
>
>
> Apologies if it wasn't clear from my original email, but I understand why
> this panics; I further acknowledge the behaviour is consistent with the
> spec.
>
> My question is why something that could be caught at compile time is not
> caught at compile time:I suspect mostly because nobody thought of it. That said, note that this in effect a language change. It is possible to construct a program that currently works into a program that after this change is made will fail to compile. So while we could make this change, it would have to be done by changing the language spec. I don't know whether it is worth doing; is it a common problem? Ian -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
