Puzzled

[Walter Bright]

On 12/13/2023 7:46 AM, Don Allen wrote:
> Note that in the message to which you are replying, I sent two attempts to 
> resolve this. In the first, having seen the compilation errors I got, I came to 
> the same conclusion you describe above. In the second, I added a 'Foo s' 
> parameter and passed main.s to it in the two calls to bletch, which I thought 
> would fix this problem, since now there is an s of type Foo defined in the scope 
> of the field references. To my surprise, it didn't.

Yes, but the compiler does not have a way to semantically connect the two.