diff options
| author | Andreas Klebinger <klebinger.andreas@gmx.at> | 2022-08-05 12:44:23 +0200 |
|---|---|---|
| committer | Andreas Klebinger <klebinger.andreas@gmx.at> | 2022-08-05 12:44:23 +0200 |
| commit | df7d83cf9d9f4186d88d27e20cbea67444d7590f (patch) | |
| tree | 03f09a6064b8dd204a08e054edf647333f0e7207 | |
| parent | 1d94a59fbadd56efec78680c89946eb425eef418 (diff) | |
| download | haskell-wip/andreas/docs-parser.tar.gz | |
Document a divergence from the report in parsing function lhss.wip/andreas/docs-parser
GHC is happy to parse `(f) x y = x + y` when it should be a parse error
based on the Haskell report. Seems harmless enough so we won't fix it
but it's documented now.
Fixes #19788
| -rw-r--r-- | docs/users_guide/bugs.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/users_guide/bugs.rst b/docs/users_guide/bugs.rst index a60bb493e5..2a4de4c4be 100644 --- a/docs/users_guide/bugs.rst +++ b/docs/users_guide/bugs.rst @@ -115,6 +115,10 @@ Lexical syntax varid → small {idchar} ⟨reservedid⟩ conid → large {idchar} +- GHC allows redundant parantheses around the function name in the `funlhs` part of declarations. + That is GHC will succeed in parsing a declaration like `((f)) x = <rhs>` for any number + of parantheses around `f`. + .. _infelicities-syntax: Context-free syntax |