... | ... | @@ -450,7 +450,7 @@ and try to figure out which of many in-scope x's you mean by looking at the type |
|
|
That's be possible, but it gets complicated: what about `(f v) {x=3}`? Record update
|
|
|
is already rather complicated to typecheck. I do not want to make it worse.
|
|
|
|
|
|
## Section-style selection
|
|
|
### Section-style selection
|
|
|
|
|
|
|
|
|
We have the option to allow '(.x)' as a valid expression, with its meaning given by the translation
|
... | ... | |