diff options
author | Ben Gamari <ben@smart-cactus.org> | 2017-12-20 22:59:28 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-12-22 12:08:54 -0500 |
commit | 6549706ffe47a18edb22e810d7e136a72891c161 (patch) | |
tree | 6f452feff983e75def7ca1adb84cdbc188431b52 /docs | |
parent | c88564dd7f41c66cee6420723131375f453631c1 (diff) | |
download | haskell-6549706ffe47a18edb22e810d7e136a72891c161.tar.gz |
relnotes: Fix typo in pattern synonym example
Diffstat (limited to 'docs')
-rw-r--r-- | docs/users_guide/8.4.1-notes.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/8.4.1-notes.rst b/docs/users_guide/8.4.1-notes.rst index 6ad4cc51bb..963e8d9172 100644 --- a/docs/users_guide/8.4.1-notes.rst +++ b/docs/users_guide/8.4.1-notes.rst @@ -60,11 +60,11 @@ Language error, and explicitly bidirectional pattern synonyms should be used in their stead. That is, instead of using this (which is an error): :: - data StrictJust a = Just !a + pattern StrictJust a = Just !a Use this: :: - data StrictJust a <- Just !a where + pattern StrictJust a <- Just !a where StrictJust !a = Just a - GADTs with kind-polymorphic type arguments now require :ghc-flag:`-XTypeInType`. |