Commit 8868ff3e authored by Matthew Pickering's avatar Matthew Pickering

Update note for Parent to explain PatternSynonym.

parent 5a862928
......@@ -495,6 +495,23 @@ Note [Parents]
class C Class operations
Associated type constructors
The `PatternSynonym` constructor is so called as pattern synonyms can be
bundled with any type constructor (during renaming). In other words, they can
have any parent.
~~~~~~~~~~~~~~~~~~~~~~~~~
Constructor Meaning
~~~~~~~~~~~~~~~~~~~~~~~~
NoParent Can not be bundled with a type constructor.
ParentIs n Can be bundled with the type constructor corresponding to
n.
PatternSynonym Can be bundled with any type constructor. It is so called
because only pattern synonyms can be bundled with any type
constructor.
FldParent See Note [Parents for record fields]
Note [Parents for record fields]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
......
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