Joseph Ferano
306fc88094
The capability lists were written before the code held the line they claim. Under an expression root, RET on a field of a union built `(.at s)' and sent it, and the checker refused it — "a union's fields belong to a case ... they are reached by (match ...)". A refusal from the far end of a socket is exactly what this buffer's own comment says not to do: every refusal is by name, here, with the reason, because RET working on some lines and erroring on others teaches nothing about the language. It is a refusal of the *parent* and not of the value at point, which is why it is not in `flan-inspect-refusal': a struct field that merely holds a union is an ordinary accessor and has to stay enterable. It is a field of the union itself that cannot be written. The two cases are one test each. The slot root steps into it by offset and is unaffected, which is the difference the manual now claims and the tests now show. `lib/dev.ml' cited DISCUSS.md item 1 as a hole; item 1 is the answer now, so it cites BUILT.md instead. And the item 1 stub is two sentences and a pointer — everything else in it is in BUILT.md verbatim, and DISCUSS.md's own header says nothing in it is a decision.
