diff options
Diffstat (limited to 'api/dotty/tools/dotc/ast/untpd$')
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/InfixOp$.html | 2 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/InfixOp.html | 8 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/OpTree.html | 2 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html | 2 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/PostfixOp.html | 8 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html | 2 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/PrefixOp.html | 8 | ||||
-rw-r--r-- | api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html | 6 |
8 files changed, 19 insertions, 19 deletions
diff --git a/api/dotty/tools/dotc/ast/untpd$/InfixOp$.html b/api/dotty/tools/dotc/ast/untpd$/InfixOp$.html index b886dd155..c6ba9e945 100644 --- a/api/dotty/tools/dotc/ast/untpd$/InfixOp$.html +++ b/api/dotty/tools/dotc/ast/untpd$/InfixOp$.html @@ -5396,7 +5396,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">, </span> diff --git a/api/dotty/tools/dotc/ast/untpd$/InfixOp.html b/api/dotty/tools/dotc/ast/untpd$/InfixOp.html index 6c37523dc..84bd53ac5 100644 --- a/api/dotty/tools/dotc/ast/untpd$/InfixOp.html +++ b/api/dotty/tools/dotc/ast/untpd$/InfixOp.html @@ -5377,7 +5377,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">, </span> @@ -5472,7 +5472,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> @@ -5723,7 +5723,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">, </span> @@ -5837,7 +5837,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/ast/untpd$/OpTree.html b/api/dotty/tools/dotc/ast/untpd$/OpTree.html index bc45af5f3..e74f126cf 100644 --- a/api/dotty/tools/dotc/ast/untpd$/OpTree.html +++ b/api/dotty/tools/dotc/ast/untpd$/OpTree.html @@ -5485,7 +5485,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html b/api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html index 6c3b33e80..5b0976282 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html +++ b/api/dotty/tools/dotc/ast/untpd$/PostfixOp$.html @@ -5396,7 +5396,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">)</span> diff --git a/api/dotty/tools/dotc/ast/untpd$/PostfixOp.html b/api/dotty/tools/dotc/ast/untpd$/PostfixOp.html index 229a30239..26338f20c 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PostfixOp.html +++ b/api/dotty/tools/dotc/ast/untpd$/PostfixOp.html @@ -5377,7 +5377,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">)</span> @@ -5464,7 +5464,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> @@ -5619,7 +5619,7 @@ <span class=""> op: </span> - Name + Ident <span class="no-left">)</span> @@ -5725,7 +5725,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html b/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html index 329210ffb..dc9f6596e 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html +++ b/api/dotty/tools/dotc/ast/untpd$/PrefixOp$.html @@ -5388,7 +5388,7 @@ <span class="no-left"> op: </span> - Name + Ident <span class="no-left">, </span> diff --git a/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html b/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html index b83cb2bda..f397f6b11 100644 --- a/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html +++ b/api/dotty/tools/dotc/ast/untpd$/PrefixOp.html @@ -5369,7 +5369,7 @@ <span class="no-left"> op: </span> - Name + Ident <span class="no-left">, </span> @@ -5464,7 +5464,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> @@ -5611,7 +5611,7 @@ <span class="no-left"> op: </span> - Name + Ident <span class="no-left">, </span> @@ -5677,7 +5677,7 @@ - <span class="no-left">: Name</span> + <span class="no-left">: Ident</span> </div><!-- end member-title --> diff --git a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html index 534342d41..1f110f491 100644 --- a/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html +++ b/api/dotty/tools/dotc/ast/untpd$/UntypedTreeCopier.html @@ -5991,7 +5991,7 @@ Tree <span class=""> op: </span> - Name + Ident <span class="no-left">, </span> @@ -6501,7 +6501,7 @@ Tree <span class=""> op: </span> - Name + Ident <span class="no-left">)</span> @@ -6573,7 +6573,7 @@ Tree <span class="no-left"> op: </span> - Name + Ident <span class="no-left">, </span> |