On Thursday, 2 June 2016 at 23:29:57 UTC, Timon Gehr wrote:
On 03.06.2016 01:12, tsbockman wrote:
On Thursday, 2 June 2016 at 23:05:40 UTC, Timon Gehr wrote:
Whenever the type checker is using a certain piece of
information to
check validity of a program, there should be a way to pass
that kind
of information across function boundaries. Otherwise the type
system
is not modular. This is a serious defect.
Would you mind giving a brief example of how that applies to
`scope`?
(I'm asking for my own education; I have no personal opinion
as to the
right implementation at the moment.)
The simplest example is this [1]:
Thanks for the explanation.
