diff options
| author | dotty-bot <felix.mulder@epfl.ch> | 2017-02-08 11:58:24 +0000 |
|---|---|---|
| committer | dotty-bot <felix.mulder@epfl.ch> | 2017-02-08 11:58:24 +0000 |
| commit | 572ebb4eb2d8316318c3700c14189a5794a1caef (patch) | |
| tree | e94af473f1bad499e3932050a59601840d33d403 /api/dotty/tools/dotc/parsing/Parsers$/OpInfo.html | |
| parent | 7113af20c29c466dc8f96018d27d4d0637d985ea (diff) | |
| download | dotty-572ebb4eb2d8316318c3700c14189a5794a1caef.tar.gz dotty-572ebb4eb2d8316318c3700c14189a5794a1caef.tar.bz2 dotty-572ebb4eb2d8316318c3700c14189a5794a1caef.zip | |
Update gh-pages site for 99679cffc0a5d20e7e7f3c090eb310a6134eeee7
Diffstat (limited to 'api/dotty/tools/dotc/parsing/Parsers$/OpInfo.html')
| -rw-r--r-- | api/dotty/tools/dotc/parsing/Parsers$/OpInfo.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/api/dotty/tools/dotc/parsing/Parsers$/OpInfo.html b/api/dotty/tools/dotc/parsing/Parsers$/OpInfo.html index dcc28223a..61d14f96d 100644 --- a/api/dotty/tools/dotc/parsing/Parsers$/OpInfo.html +++ b/api/dotty/tools/dotc/parsing/Parsers$/OpInfo.html @@ -5363,7 +5363,7 @@ <span class=""> operator: </span> - Name + Ident <span class="no-left">, </span> @@ -5506,7 +5506,7 @@ - <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a></span> + <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Ident">Ident</a></span> </div><!-- end member-title --> @@ -5709,7 +5709,7 @@ <span class=""> operator: </span> - <a href="../../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a> + <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Ident">Ident</a> <span class="no-left">, </span> @@ -5823,7 +5823,7 @@ - <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/core/Names$/Name.html">Name</a></span> + <span class="no-left">: <a href="../../../../../.././api/dotty/tools/dotc/ast/Trees$/Instance.html#Ident">Ident</a></span> </div><!-- end member-title --> |