Permalink
Browse files

Update note for Parent to explain PatternSynonym.

  • Loading branch information...
mpickering committed Nov 13, 2015
1 parent 5a86292 commit 8868ff3eb742977c5de2609f7d748f4ff8882d6d
Showing with 17 additions and 0 deletions.
  1. +17 −0 compiler/basicTypes/RdrName.hs
@@ -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]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

0 comments on commit 8868ff3

Please sign in to comment.