[ghc-steering-committee] Records again

[Joachim Breitner]

Hi,

Am Dienstag, den 17.12.2019, 10:39 +0000 schrieb Richard Eisenberg:
> How do you feel about `f x_y` vs `f x _y`? We have no trouble
> accepting that whitespace is significant there.

or even `f x'y` vs. `f x 'y`!


> If we accept that `.` is part of the construction of a token, then
> this is all very natural. Somehow, we read `_` this way. If we view
> `.` as something else, then it's much harder.

I find that argument not very strong. Clearly f_x or f'x is one atomic
token on a very different level than f.x is a token.

Of course, I am sure I’ll as quickly adapt to parsing `f r.x` as
`f (r.x)` as I did parsing `f r{x=1}` as `f (r {x=1})`.

Cheers,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/