@@ -61,8 +61,8 @@ data Expr_
6161
6262
6363data Def
64− = Annotate Text Type.Raw
65− | Define Text [Ptrn.Raw] Expr
64+ = Annotate N.Name Type.Raw
65+ | Define N.Name [Ptrn.Raw] Expr
6666 | Destruct Ptrn.Raw Expr
6767
6868
@@ -74,7 +74,7 @@ type Decl = A.Located Decl_
7474
7575
7676data Decl_
77− = Union (A.Located N.Name) [A.Located N.Name] [(A.Located Text, [Type.Raw])]
77+ = Union (A.Located N.Name) [A.Located N.Name] [(A.Located N.Name, [Type.Raw])]
7878 | Alias (A.Located N.Name) [A.Located N.Name] Type.Raw
7979 | Binop (A.Located N.Name) Binop.Associativity Binop.Precedence N.Name
8080 | Port (A.Located N.Name) Type.Raw
@@ -141,9 +141,9 @@ data Exposing
141141
142142
143143data Exposed
144− = Lower !Text
145− | Upper !Text !Privacy
146− | Operator !Text
144+ = Lower !N.Name
145+ | Upper !N.Name !Privacy
146+ | Operator !N.Name
147147
148148
149149data Privacy