Merge pull request #364 from mrgutkun/main

Document another case of GHC-53786

Author: david-christiansen

message-index/messages/GHC-53786/case-expr-in-do-block/after/CaseExprInDoBlock.hs

@@ -0,0 +1,8 @@
+module CaseExprInDoBlock where
+
+x :: [a]
+x = do
+  case () of
+    () -> do
+      a <- []
+      pure a

message-index/messages/GHC-53786/case-expr-in-do-block/before/CaseExprInDoBlock.hs

@@ -0,0 +1,8 @@
+module CaseExprInDoBlock where
+
+x :: [a]
+x = do
+  case () of
+    () ->
+      a <- []
+      pure a

message-index/messages/GHC-53786/case-expr-in-do-block/index.md

@@ -0,0 +1,18 @@
+---
+title: Case expression in do-block
+---
+
+The expression in one branch of the case expression is a `do`-block that's missing a `do`. This triggers a corner case in the grammar of Haskell, and the `case`-expression is interpreted as the pattern part of a bind statement in the top-level `do`-block. 
+
+More details are available at https://gitlab.haskell.org/ghc/ghc/-/issues/984
+
+## Error Message
+
+```
+CaseExprInDoBlock.hs:5:3: error: [GHC-53786]
+    (case ... of ...)-syntax in pattern
+  |
+5 |   case () of
+  |   ^^^^^^^^^^...
+
+```