Commit 6549706f authored by Ben Gamari's avatar Ben Gamari 🐢
Browse files

relnotes: Fix typo in pattern synonym example

parent c88564dd
......@@ -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`.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment