From 3b035e18179193ad8b2665f97d208203ee70f825 Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Wed, 8 Feb 2017 10:23:30 +0000 Subject: Update gh-pages site for b77c24cde0caa59472108a068b4d802606ad5d1b --- api/dotty/tools/dotc/core/Contexts$/Context.html | 253 +++++++++++++-------- .../tools/dotc/core/Flags$/FlagConjunction.html | 58 ++--- api/dotty/tools/dotc/core/MutableTyperState.html | 50 ++++ .../tools/dotc/core/Symbols$/ClassSymbol.html | 102 ++++----- api/dotty/tools/dotc/core/Symbols$/Symbol.html | 106 ++++----- api/dotty/tools/dotc/core/TyperState.html | 50 ++++ api/dotty/tools/dotc/core/Types$/Type.html | 66 +++--- api/dotty/tools/dotc/printing/PlainPrinter.html | 63 +++++ api/dotty/tools/dotc/printing/Printer.html | 63 +++++ .../dotc/typer/Implicits$/AmbiguousImplicits.html | 8 +- .../tools/dotc/typer/Implicits$/SearchResult.html | 80 ++++++- .../tools/dotc/typer/Implicits$/SearchSuccess.html | 5 + api/dotty/tools/io/Jar$/WManifest.html | 14 +- .../collections/CollectionStrawMan1$/View.html | 18 +- 14 files changed, 653 insertions(+), 283 deletions(-) diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html index 9ab47b872..12edd5329 100644 --- a/api/dotty/tools/dotc/core/Contexts$/Context.html +++ b/api/dotty/tools/dotc/core/Contexts$/Context.html @@ -5442,7 +5442,7 @@ classes (which should be short-lived). - ctx: + c: Context @@ -5459,6 +5459,12 @@ classes (which should be short-lived). ( + + c: + + Context + + ) @@ -5471,12 +5477,6 @@ classes (which should be short-lived). ( - - ctx: - - Context - - ) @@ -5489,6 +5489,12 @@ classes (which should be short-lived). ( + + ctx: + + Context + + ) @@ -5502,7 +5508,7 @@ classes (which should be short-lived). - c: + ctx: Context @@ -5519,12 +5525,6 @@ classes (which should be short-lived). ( - - c: - - Context - - ) @@ -12672,9 +12672,9 @@ Any -
+
- [+] + [+] @@ -12696,9 +12696,9 @@ Any - sym: + name: - Symbol + Name ) @@ -12713,20 +12713,14 @@ Any
-
-

The name of the given symbol. -If !settings.debug, the original name where -expansions of operators are translated back to operator symbol. -E.g. $eq => =. -I...

+
+

The name, possibley with with namespace suffix if debugNames is set: +/L for local names, /V for other term names, /T for type names

-
-

The name of the given symbol. -If !settings.debug, the original name where -expansions of operators are translated back to operator symbol. -E.g. $eq => =. -If settings.uniqid, adds id.

+
+

The name, possibley with with namespace suffix if debugNames is set: +/L for local names, /V for other term names, /T for type names

@@ -12743,9 +12737,9 @@ If settings.uniqid, adds id.

-
+
- [+] + [+] @@ -12767,9 +12761,9 @@ If settings.uniqid, adds id.

- name: + sym: - Name + Symbol ) @@ -12784,14 +12778,20 @@ If settings.uniqid, adds id.

-
-

The name, possibley with with namespace suffix if debugNames is set: -/L for local names, /V for other term names, /T for type names

+
+

The name of the given symbol. +If !settings.debug, the original name where +expansions of operators are translated back to operator symbol. +E.g. $eq => =. +I...

-
-

The name, possibley with with namespace suffix if debugNames is set: -/L for local names, /V for other term names, /T for type names

+
+

The name of the given symbol. +If !settings.debug, the original name where +expansions of operators are translated back to operator symbol. +E.g. $eq => =. +If settings.uniqid, adds id.

@@ -16393,9 +16393,9 @@ It has

-
+
- [+] + [+] @@ -16417,12 +16417,9 @@ It has

- tree: + result: - Tree -[ -T -] + SearchResult ) @@ -16432,18 +16429,17 @@ T - : [T >: dotty.tools.dotc.ast.Trees.Untyped] => - (tree: dotty.tools.dotc.ast.Trees.Tree[T])dotty.tools.dotc.printing.Texts.Text (not handled) + : Text
-
-

Textual representation of tree

+
+

Textual representation of implicit search result

-
-

Textual representation of tree

+
+

Textual representation of implicit search result

@@ -16460,9 +16456,9 @@ T
-
+
- [+] + [+] @@ -16484,9 +16480,9 @@ T - sc: + tp: - Scope + Type ) @@ -16501,12 +16497,12 @@ T
-
-

Textual representation of all definitions in a scope using dclText for each

+
+

Textual representation of type

-
-

Textual representation of all definitions in a scope using dclText for each

+
+

Textual representation of type

@@ -16523,9 +16519,9 @@ T
-
+
- [+] + [+] @@ -16547,9 +16543,9 @@ T - const: + sym: - Constant + Symbol ) @@ -16564,12 +16560,14 @@ T
-
-

Textual representation of constant

+
+

Textual representation, including symbol's kind e.g., "class Foo", "method Bar". +If hasMeaninglessName is true, uses the owner's name to disambiguate i...

-
-

Textual representation of constant

+
+

Textual representation, including symbol's kind e.g., "class Foo", "method Bar". +If hasMeaninglessName is true, uses the owner's name to disambiguate identity.

@@ -16586,9 +16584,9 @@ T
-
+
- [+] + [+] @@ -16610,9 +16608,9 @@ T - sym: + denot: - Symbol + Denotation ) @@ -16627,14 +16625,12 @@ T
-
-

Textual representation, including symbol's kind e.g., "class Foo", "method Bar". -If hasMeaninglessName is true, uses the owner's name to disambiguate i...

+
+

Textual representation of denotation

-
-

Textual representation, including symbol's kind e.g., "class Foo", "method Bar". -If hasMeaninglessName is true, uses the owner's name to disambiguate identity.

+
+

Textual representation of denotation

@@ -16651,9 +16647,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- [+] + [+] @@ -16675,9 +16671,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - denot: + sc: - Denotation + Scope ) @@ -16692,12 +16688,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

Textual representation of denotation

+
+

Textual representation of all definitions in a scope using dclText for each

-
-

Textual representation of denotation

+
+

Textual representation of all definitions in a scope using dclText for each

@@ -16714,9 +16710,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- [+] + [+] @@ -16738,9 +16734,76 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - tp: + tree: - Type + Tree +[ +T +] + + + ) + + + + + + + : [T >: dotty.tools.dotc.ast.Trees.Untyped] => + (tree: dotty.tools.dotc.ast.Trees.Tree[T])dotty.tools.dotc.printing.Texts.Text (not handled) + +
+ +
+
+

Textual representation of tree

+ +
+
+

Textual representation of tree

+ +
+
+ +
+ +
+
+ [+] + + + + + + + + def + + + + toText + + + + + + ( + + + + const: + + Constant ) @@ -16755,12 +16818,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

Textual representation of type

+
+

Textual representation of constant

-
-

Textual representation of type

+
+

Textual representation of constant

diff --git a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html index 5c1cfe80f..00b3ae920 100644 --- a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html +++ b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html @@ -5954,9 +5954,9 @@ String
-
+
- [+] + [+] @@ -5982,6 +5982,14 @@ String FlagConjunction + , + + + + butNot: + + FlagSet + ) @@ -5995,13 +6003,15 @@ String
-
+

Does this flag set have all of the flags in given flag conjunction? -Pre: The intersection of the typeflags of both sets must be non-empty.

+and at the same time contain none of the flags in the butNot set? +Pre: The intersect...

-
+

Does this flag set have all of the flags in given flag conjunction? +and at the same time contain none of the flags in the butNot set? Pre: The intersection of the typeflags of both sets must be non-empty.

@@ -6084,9 +6094,9 @@ This means that both the kind flags and the carrier bits have non-empty intersec
-
+
- [+] + [+] @@ -6110,15 +6120,7 @@ This means that both the kind flags and the carrier bits have non-empty intersec flags: - FlagSet - - , - - - - butNot: - - FlagSet + FlagConjunction ) @@ -6133,14 +6135,14 @@ This means that both the kind flags and the carrier bits have non-empty intersec
-
-

Does this flag set have a non-empty intersection with the given flag set, -and at the same time contain none of the flags in the butNot set?

+
+

Does this flag set have all of the flags in given flag conjunction? +Pre: The intersection of the typeflags of both sets must be non-empty.

-
-

Does this flag set have a non-empty intersection with the given flag set, -and at the same time contain none of the flags in the butNot set?

+
+

Does this flag set have all of the flags in given flag conjunction? +Pre: The intersection of the typeflags of both sets must be non-empty.

@@ -6183,7 +6185,7 @@ and at the same time contain none of the flags in the butNot set? flags: - FlagConjunction + FlagSet , @@ -6207,15 +6209,13 @@ and at the same time contain none of the flags in the butNot set?
-

Does this flag set have all of the flags in given flag conjunction? -and at the same time contain none of the flags in the butNot set? -Pre: The intersect...

+

Does this flag set have a non-empty intersection with the given flag set, +and at the same time contain none of the flags in the butNot set?

-

Does this flag set have all of the flags in given flag conjunction? -and at the same time contain none of the flags in the butNot set? -Pre: The intersection of the typeflags of both sets must be non-empty.

+

Does this flag set have a non-empty intersection with the given flag set, +and at the same time contain none of the flags in the butNot set?

diff --git a/api/dotty/tools/dotc/core/MutableTyperState.html b/api/dotty/tools/dotc/core/MutableTyperState.html index e80f54b52..28ec620be 100644 --- a/api/dotty/tools/dotc/core/MutableTyperState.html +++ b/api/dotty/tools/dotc/core/MutableTyperState.html @@ -6302,6 +6302,56 @@ no-longer needed constraint entries.

+
+
+ [+] + + + + + override + + + def + + + + hashesStr + + + + + + + + + : String + +
+ +
+
+

A string showing the hashes of all nested mutable typerstates

+ +
+
+

A string showing the hashes of all nested mutable typerstates

+ +
+
+ +
+
[+] diff --git a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html index d17459b2b..67cf95a12 100644 --- a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html @@ -11732,9 +11732,9 @@ of this run.

-
+
- [+] + [+] @@ -11758,6 +11758,14 @@ of this run.

fs: + FlagConjunction + + , + + + + butNot: + FlagSet @@ -11786,12 +11794,14 @@ of this run.

-
-

Has this denotation one of the flags in fs set?

+
+

Has this denotation all of the flags in fs set, whereas none of the flags +in butNot are set?

-
-

Has this denotation one of the flags in fs set?

+
+

Has this denotation all of the flags in fs set, whereas none of the flags +in butNot are set?

@@ -11970,9 +11980,9 @@ in butNot are set?

-
+
- [+] + [+] @@ -11996,14 +12006,6 @@ in butNot are set?

fs: - FlagConjunction - - , - - - - butNot: - FlagSet @@ -12032,14 +12034,12 @@ in butNot are set?

-
-

Has this denotation all of the flags in fs set, whereas none of the flags -in butNot are set?

+
+

Has this denotation one of the flags in fs set?

-
-

Has this denotation all of the flags in fs set, whereas none of the flags -in butNot are set?

+
+

Has this denotation one of the flags in fs set?

@@ -17282,7 +17282,7 @@ have existing symbols.

that: => - Denotation + SingleDenotation ) @@ -17292,18 +17292,16 @@ have existing symbols.

- : Denotation + : SingleDenotation
-

If this denotation does not exist, fallback to alternative

- +
-

If this denotation does not exist, fallback to alternative

- +
-
+
- [+] + [+] @@ -18292,6 +18292,17 @@ If prev is not defined in current class, do nothing.

PreName + , + + + + argTypes: + + List +[ +Type +] + ) @@ -18318,10 +18329,10 @@ If prev is not defined in current class, do nothing.

-
+
-
+
@@ -18338,9 +18349,9 @@ If prev is not defined in current class, do nothing.

-
+
- [+] + [+] @@ -18366,17 +18377,6 @@ If prev is not defined in current class, do nothing.

PreName - , - - - - argTypes: - - List -[ -Type -] - ) @@ -18403,10 +18403,10 @@ Type
-
+
-
+
diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html index 3fb12008a..b93a772f4 100644 --- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html @@ -5403,7 +5403,7 @@ - sym: + self: Symbol @@ -5457,7 +5457,7 @@ - self: + sym: Symbol @@ -12427,9 +12427,9 @@ of this run.

-
+
- [+] + [+] @@ -12453,6 +12453,14 @@ of this run.

fs: + FlagConjunction + + , + + + + butNot: + FlagSet @@ -12481,12 +12489,14 @@ of this run.

-
-

Has this denotation one of the flags in fs set?

+
+

Has this denotation all of the flags in fs set, whereas none of the flags +in butNot are set?

-
-

Has this denotation one of the flags in fs set?

+
+

Has this denotation all of the flags in fs set, whereas none of the flags +in butNot are set?

@@ -12665,9 +12675,9 @@ in butNot are set?

-
+
- [+] + [+] @@ -12691,14 +12701,6 @@ in butNot are set?

fs: - FlagConjunction - - , - - - - butNot: - FlagSet @@ -12727,14 +12729,12 @@ in butNot are set?

-
-

Has this denotation all of the flags in fs set, whereas none of the flags -in butNot are set?

+
+

Has this denotation one of the flags in fs set?

-
-

Has this denotation all of the flags in fs set, whereas none of the flags -in butNot are set?

+
+

Has this denotation one of the flags in fs set?

@@ -18761,7 +18761,7 @@ These are called a "flock". Flock members are generated by

that: => - Denotation + SingleDenotation ) @@ -18771,18 +18771,16 @@ These are called a "flock". Flock members are generated by

- : Denotation + : SingleDenotation
-

If this denotation does not exist, fallback to alternative

- +
-

If this denotation does not exist, fallback to alternative

- +
-
+
- [+] + [+] @@ -20158,6 +20158,17 @@ from source.

PreName + , + + + + argTypes: + + List +[ +Type +] + ) @@ -20184,10 +20195,10 @@ from source.

-
+
-
+
@@ -20204,9 +20215,9 @@ from source.

-
+
- [+] + [+] @@ -20232,17 +20243,6 @@ from source.

PreName - , - - - - argTypes: - - List -[ -Type -] - ) @@ -20269,10 +20269,10 @@ Type
-
+
-
+
diff --git a/api/dotty/tools/dotc/core/TyperState.html b/api/dotty/tools/dotc/core/TyperState.html index b33e280d4..5b37ad83d 100644 --- a/api/dotty/tools/dotc/core/TyperState.html +++ b/api/dotty/tools/dotc/core/TyperState.html @@ -5883,6 +5883,56 @@ no-longer needed constraint entries.

+
+
+ [+] + + + + + + + + def + + + + hashesStr + + + + + + + + + : String + +
+ +
+
+

A string showing the hashes of all nested mutable typerstates

+ +
+
+

A string showing the hashes of all nested mutable typerstates

+ +
+
+ +
+
[+] diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html index dab15d242..1c2f11432 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -6235,9 +6235,9 @@ is covariant is irrelevant, so can be ignored.

-
+
- [+] + [+] @@ -6259,17 +6259,12 @@ is covariant is irrelevant, so can be ignored.

- arg1: - - Type - - , - - - - arg2: + args: - Type + List +[ +Type +] ) @@ -6297,11 +6292,17 @@ is covariant is irrelevant, so can be ignored.

-
- +
+

The type representing

+

T[U1, ..., Un]

+

where

+
-
- +
+

The type representing

+

T[U1, ..., Un]

+

where

+
-
+
- [+] + [+] @@ -6341,12 +6342,17 @@ is covariant is irrelevant, so can be ignored.

- args: + arg1: - List -[ -Type -] + Type + + , + + + + arg2: + + Type ) @@ -6374,17 +6380,11 @@ Type
-
-

The type representing

-

T[U1, ..., Un]

-

where

- +
+
-
-

The type representing

-

T[U1, ..., Un]

-

where

- +
+
+
+
+ [+] + + + + + + + + def + + + + toText + + + + + + ( + + + + result: + + SearchResult + + + ) + + + + + + + : Text + +
+ +
+
+

Textual representation of implicit search result

+ +
+
+

Textual representation of implicit search result

+ +
+
+ +
+
[+] diff --git a/api/dotty/tools/dotc/printing/Printer.html b/api/dotty/tools/dotc/printing/Printer.html index 7b9aaa329..8bb2dfe82 100644 --- a/api/dotty/tools/dotc/printing/Printer.html +++ b/api/dotty/tools/dotc/printing/Printer.html @@ -6958,6 +6958,69 @@ T
+
+
+ [+] + + + + + + + + def + + + + toText + + + + + + ( + + + + result: + + SearchResult + + + ) + + + + + + + : Text + +
+ +
+
+

Textual representation of implicit search result

+ +
+
+

Textual representation of implicit search result

+ +
+
+ +
+
diff --git a/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html b/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html index ffe93c306..70923670e 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html +++ b/api/dotty/tools/dotc/typer/Implicits$/AmbiguousImplicits.html @@ -5409,14 +5409,14 @@
-
+
[+] - private + val @@ -5457,14 +5457,14 @@
-
+
[+] - private + val diff --git a/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html b/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html index b941ef0fa..e81e42817 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html +++ b/api/dotty/tools/dotc/typer/Implicits$/SearchResult.html @@ -5335,6 +5335,15 @@ +
+ + + extends + + Showable + +
+
@@ -5364,11 +5373,78 @@
-

+

Members

-
+
+ +
+
+ [+] + + + + + + + + def + + + + toText + + + + + + ( + + + + printer: + + Printer + + + ) + + + + + + + : Text + +
+ +
+
+

The text representation of this showable element. +This normally dispatches to a pattern matching +method in Printers.

+ +
+
+

The text representation of this showable element. +This normally dispatches to a pattern matching +method in Printers.

+ +
+
+ +
diff --git a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html index 6afbfc404..46d8b06b8 100644 --- a/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html +++ b/api/dotty/tools/dotc/typer/Implicits$/SearchSuccess.html @@ -5342,6 +5342,11 @@ SearchResult + + with + + Showable +
diff --git a/api/dotty/tools/io/Jar$/WManifest.html b/api/dotty/tools/io/Jar$/WManifest.html index 5e317c3e5..b0fdfb8bb 100644 --- a/api/dotty/tools/io/Jar$/WManifest.html +++ b/api/dotty/tools/io/Jar$/WManifest.html @@ -5373,7 +5373,7 @@ x$0: - Manifest + InputStream ) @@ -5388,12 +5388,6 @@ ( - - x$0: - - InputStream - - )
@@ -5406,6 +5400,12 @@ ( + + x$0: + + Manifest + + )
diff --git a/api/strawman/collections/CollectionStrawMan1$/View.html b/api/strawman/collections/CollectionStrawMan1$/View.html index 888a77af6..4e4a6dd51 100644 --- a/api/strawman/collections/CollectionStrawMan1$/View.html +++ b/api/strawman/collections/CollectionStrawMan1$/View.html @@ -5992,7 +5992,7 @@ B Iterator [ -A +B ] @@ -6003,10 +6003,9 @@ A - : View -[ -A -] + : [B] => + (it: => strawman.collections.CollectionStrawMan1.Iterator[B]) + strawman.collections.CollectionStrawMan1.View[B] (not handled)
@@ -6059,7 +6058,7 @@ A Iterator [ -B +A ] @@ -6070,9 +6069,10 @@ B - : [B] => - (it: => strawman.collections.CollectionStrawMan1.Iterator[B]) - strawman.collections.CollectionStrawMan1.View[B] (not handled) + : View +[ +A +]
-- cgit v1.2.3