Rename BindPat -> IdentPat
1 files changed, 6 insertions, 6 deletions
|
|
@@ -21,12 +21,12 @@ [email protected] |
21 | [email protected] |
21 | [email protected] |
22 | [email protected] |
22 | [email protected] |
23 | [email protected] "(" |
23 | [email protected] "(" |
24 | BIN[email protected] |
24 | IDENT[email protected] |
25 | [email protected] |
25 | [email protected] |
26 | [email protected] "a" |
26 | [email protected] "a" |
27 | [email protected] "," |
27 | [email protected] "," |
28 | [email protected] " " |
28 | [email protected] " " |
29 | BIN[email protected] |
29 | IDENT[email protected] |
30 | [email protected] |
30 | [email protected] |
31 | [email protected] "b" |
31 | [email protected] "b" |
32 | [email protected] ")" |
32 | [email protected] ")" |
@@ -71,13 +71,13 @@ [email protected] |
71 | [email protected] "{" |
71 | [email protected] "{" |
72 | [email protected] " " |
72 | [email protected] " " |
73 | [email protected] |
73 | [email protected] |
74 | BIN[email protected] |
74 | IDENT[email protected] |
75 | [email protected] |
75 | [email protected] |
76 | [email protected] "a" |
76 | [email protected] "a" |
77 | [email protected] "," |
77 | [email protected] "," |
78 | [email protected] " " |
78 | [email protected] " " |
79 | [email protected] |
79 | [email protected] |
80 | BIN[email protected] |
80 | IDENT[email protected] |
81 | [email protected] |
81 | [email protected] |
82 | [email protected] "b" |
82 | [email protected] "b" |
83 | [email protected] " " |
83 | [email protected] " " |
@@ -109,7 +109,7 @@ [email protected] |
109 | [email protected] |
109 | [email protected] |
110 | [email protected] "NewType" |
110 | [email protected] "NewType" |
111 | [email protected] "(" |
111 | [email protected] "(" |
112 | BIN[email protected] |
112 | IDENT[email protected] |
113 | [email protected] |
113 | [email protected] |
114 | [email protected] "a" |
114 | [email protected] "a" |
115 | [email protected] ")" |
115 | [email protected] ")" |
@@ -138,7 +138,7 @@ [email protected] |
138 | [email protected] "&" |
138 | [email protected] "&" |
139 | [email protected] |
139 | [email protected] |
140 | [email protected] "&" |
140 | [email protected] "&" |
141 | BIN[email protected] |
141 | IDENT[email protected] |
142 | [email protected] |
142 | [email protected] |
143 | [email protected] "a" |
143 | [email protected] "a" |
144 | [email protected] ":" |
144 | [email protected] ":" |
|