I think that `f x.y` should mean `f (x.y)`.

On Thu, Dec 12, 2019 at 6:00 AM Joachim Breitner <mail@joachim-breitner.de> wrote:
Hi,

Am Donnerstag, den 12.12.2019, 12:30 +0000 schrieb Richard Eisenberg:
> I would also like to propose
>
> (C). Syntax error.
>
> That is, a tight-infix use of `.` does not associate with a function application on its left. A prefix occurrence of `.` would: `f x .y` would be `(f x) .y`.
>
>
> We could also just make this a warning.

such a warning was actually also proposed in the monster GitHub thread:
https://github.com/ghc-proposals/ghc-proposals/pull/282#issuecomment-564597503
as -Wproximity, which could warn about any misleading spacing, so not only
`f x.y` (whether this is a record access or function composition), but also
`x * y+z` etc.

Sounds very nice! Probably orthogonal to this proposal, but maybe a way
to make people worry less about the confusion that `f x.y` may bring?

Cheers,
Joachim

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

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee