Commit 21892398 authored by Ryan Scott's avatar Ryan Scott

Disambiguate two Notes with identical names

It turns out there were two Notes in the GHC codebase named
[Pattern synonym signatures]. To avoid confusion, I gave one Note a slightly
different name.
parent ccc918cd
......@@ -48,7 +48,7 @@ import Data.List
-- | Pattern Synonym
--
-- See Note [Pattern synonym representation]
-- See Note [Pattern synonym signatures]
-- See Note [Pattern synonym signature contexts]
data PatSyn
= MkPatSyn {
psName :: Name,
......@@ -107,7 +107,7 @@ data PatSyn
-- See Note [Builder for pattern synonyms with unboxed type]
}
{- Note [Pattern synonym signatures]
{- Note [Pattern synonym signature contexts]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In a pattern synonym signature we write
pattern P :: req => prov => t1 -> ... tn -> res_ty
......
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