A name is a non-empty list of alternating Ids and Holes. A normal name
is represented by a singleton list, and operators are represented by a list
with Holes where the arguments should go. For instance: [Hole,Id +,Hole]
is infix addition.
Equality and ordering on Names are defined to ignore range so same names
in different locations are equal.
Data type constructed in the Happy parser; converted to GenPart
before it leaves the Happy code.
|