Hello,
I think accepting (C2a) over (C4) is a mistake, and reading Simon's specification of (C2a) does nothing to dispel my uneasiness about this choice.
To Alejandro's points:
- As Joachim pointed out, (C4) is how OCaml works, not (C2a). I wonder what the additional complexity of the specification buys us? In the draft document Simon describes it as "more conservative", but it actually requires more work to both implement and specify.
- Indeed, you could write some expressions that might look confusing at first, but I don't see why would you? After all, one could use the exact same argument for many other notations in pretty much any programming language (e.g., operator precedences can be used to write confusing code---it doesn't mean that they are not very useful sometime).
- Using white space in selectors is probably not going to be used a lot, but I could imagine it being useful if you have some nested records, and the field names are long. For example, I could see myself writing something like this:
```
someRecord
.outterField
.innerField
```
I realize this style could be a matter of taste, but I don't see any reason for us to go out of our way to disallow it.
-Iavor