Document GHC-70712

Fixes #416
haskell · Jun 15, 2022 · 42604ee · 42604ee
1 parent f257850
commit 42604ee
Show file tree

Hide file tree

Showing 4 changed files with 35 additions and 0 deletions.
diff --git a/message-index/messages/GHC-70712/double-dot/after/DoubleDot.hs b/message-index/messages/GHC-70712/double-dot/after/DoubleDot.hs
@@ -0,0 +1,6 @@
+module DoubleDot where
+
+data Record = Record {field :: Integer}
+
+x = Record {field = 5}
+y = x {field=8}
diff --git a/message-index/messages/GHC-70712/double-dot/before/DoubleDot.hs b/message-index/messages/GHC-70712/double-dot/before/DoubleDot.hs
@@ -0,0 +1,6 @@
+module DoubleDot where
+
+data Record = Record {field :: Integer}
+
+x = Record {field = 5}
+y = x {field=8, ..}
diff --git a/message-index/messages/GHC-70712/double-dot/index.md b/message-index/messages/GHC-70712/double-dot/index.md
@@ -0,0 +1,15 @@
+---
+title: Double dots in record update
+---
+
+## Message
+```
+DoubleDot.hs:6:17: error: [GHC-70712]
+    You cannot use `..' in a record update
+  |
+6 | y = x {field=8, ..}
+  |                 ^^
+```
+
+## Explanation
+The double-dot syntax is not allowed as part of a record update. To fix the issue, remove the `..` from the record update.
diff --git a/message-index/messages/GHC-70712/index.md b/message-index/messages/GHC-70712/index.md
@@ -0,0 +1,8 @@
+---
+title: Double dots in record update
+summary: Double-dot syntax is not allowed in a record update.
+severity: error
+introduced: 9.6.1
+---
+
+The double-dot syntax, which is part of the `RecordWildCards` extension, is not allowed as part of a record update, whether the extension is turned on or not.