From 0053e33ad799c9fc7451c0a7994d6e92745a57e1 Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Tue, 11 Apr 2017 08:25:39 +0000 Subject: Update gh-pages site for 4ff656138a2e4e127b763adeee3f0f72d515f6b6 --- api/dotty/tools/dotc/core/Contexts$/Context.html | 224 ++++++++++---------- .../tools/dotc/core/Flags$/FlagConjunction.html | 62 +++--- .../tools/dotc/core/Symbols$/ClassSymbol.html | 154 +++++++------- api/dotty/tools/dotc/core/Symbols$/Symbol.html | 228 ++++++++++----------- api/dotty/tools/dotc/core/Types$/Type.html | 2 +- .../printing/Formatting$/ExplainingPrinter.html | 75 ++++++- api/dotty/tools/dotc/printing/PlainPrinter.html | 24 +-- api/dotty/tools/dotc/printing/RefinedPrinter.html | 12 +- api/dotty/tools/dotc/typer/TypeAssigner.html | 94 +++++++++ api/dotty/tools/dotc/util/Positions$/Position.html | 36 ++-- api/dotty/tools/io/Jar$/WManifest.html | 12 +- 11 files changed, 540 insertions(+), 383 deletions(-) diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html index 36b9ffd67..efbc74927 100644 --- a/api/dotty/tools/dotc/core/Contexts$/Context.html +++ b/api/dotty/tools/dotc/core/Contexts$/Context.html @@ -5528,12 +5528,6 @@ classes (which should be short-lived). ( - - ctx: - - Context - - ) @@ -5576,6 +5570,12 @@ classes (which should be short-lived). ( + + ctx: + + Context + + ) @@ -12668,9 +12668,9 @@ Any -
+
- + [+] @@ -12692,9 +12692,9 @@ Any - name: + sym: - Name + Symbol ) @@ -12709,14 +12709,20 @@ Any
-
-

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.

@@ -12733,9 +12739,9 @@ Any
-
+
- [+] + @@ -12757,9 +12763,9 @@ Any - sym: + name: - Symbol + Name ) @@ -12774,20 +12780,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

@@ -16263,9 +16263,9 @@ It has

-
+
- [+] + @@ -16287,9 +16287,9 @@ It has

- sym: + name: - Symbol + Name ) @@ -16304,14 +16304,12 @@ It has

-
-

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

+
+

The name as a text

-
-

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

+
+

The name as a text

@@ -16328,9 +16326,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16352,9 +16350,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - name: + tp: - Name + Type ) @@ -16369,12 +16367,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

The name as a text

+
+

Textual representation of type

-
-

The name as a text

+
+

Textual representation of type

@@ -16391,9 +16389,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16415,9 +16413,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - annot: + denot: - Annotation + Denotation ) @@ -16432,12 +16430,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

Textual representation of annotation

+
+

Textual representation of denotation

-
-

Textual representation of annotation

+
+

Textual representation of denotation

@@ -16454,9 +16452,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16478,9 +16476,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - denot: + tree: - Denotation + Tree +[ +T +] ) @@ -16495,12 +16496,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

Textual representation of denotation

+
+

Textual representation of tree

-
-

Textual representation of denotation

+
+

Textual representation of tree

@@ -16543,7 +16544,7 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. result: - SearchResult + ImportInfo ) @@ -16559,11 +16560,11 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-

Textual representation of implicit search result

+

Textual representation of info relating to an import clause

-

Textual representation of implicit search result

+

Textual representation of info relating to an import clause

@@ -16580,9 +16581,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16604,12 +16605,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - tree: + result: - Tree -[ -T -] + SearchResult ) @@ -16624,12 +16622,12 @@ T
-
-

Textual representation of tree

+
+

Textual representation of implicit search result

-
-

Textual representation of tree

+
+

Textual representation of implicit search result

@@ -16646,9 +16644,9 @@ T
-
+
- + [+] @@ -16670,9 +16668,9 @@ T - tp: + sym: - Type + Symbol ) @@ -16687,12 +16685,14 @@ T
-
-

Textual representation of type

+
+

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 type

+
+

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

@@ -16709,9 +16709,9 @@ T
-
+
- + @@ -16733,9 +16733,9 @@ T - result: + const: - ImportInfo + Constant ) @@ -16750,12 +16750,12 @@ T
-
-

Textual representation of info relating to an import clause

+
+

Textual representation of constant

-
-

Textual representation of info relating to an import clause

+
+

Textual representation of constant

@@ -16772,9 +16772,9 @@ T
-
+
- + @@ -16796,9 +16796,9 @@ T - sc: + annot: - Scope + Annotation ) @@ -16813,12 +16813,12 @@ T
-
-

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

+
+

Textual representation of annotation

-
-

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

+
+

Textual representation of annotation

@@ -16835,9 +16835,9 @@ T
-
+
- + @@ -16859,9 +16859,9 @@ T - const: + sc: - Constant + Scope ) @@ -16876,12 +16876,12 @@ T
-
-

Textual representation of constant

+
+

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

-
-

Textual representation of constant

+
+

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

diff --git a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html index d360aa4e8..93971c27e 100644 --- a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html +++ b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html @@ -6023,9 +6023,9 @@ String
-
+
- + @@ -6049,15 +6049,7 @@ String flags: - FlagSet - - , - - - - butNot: - - FlagSet + FlagConjunction ) @@ -6072,14 +6064,14 @@ String
-
-

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.

@@ -6096,9 +6088,9 @@ and at the same time contain none of the flags in the butNot set?
-
+
- [+] + @@ -6124,6 +6116,14 @@ and at the same time contain none of the flags in the butNot set? FlagSet + , + + + + butNot: + + FlagSet + ) @@ -6137,14 +6137,14 @@ and at the same time contain none of the flags in the butNot set?
-
-

Does this flag set have a non-empty intersection with the given flag set? -This means that both the kind flags and the carrier bits have non-empty inter...

+
+

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 a non-empty intersection with the given flag set? -This means that both the kind flags and the carrier bits have non-empty intersection.

+
+

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?

@@ -6238,7 +6238,7 @@ Pre: The intersection of the typeflags of both sets must be non-empty.

- + [+] @@ -6262,7 +6262,7 @@ Pre: The intersection of the typeflags of both sets must be non-empty.

flags: - FlagConjunction + FlagSet ) @@ -6278,13 +6278,13 @@ Pre: The intersection of the typeflags of both sets must be non-empty.

-

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? +This means that both the kind flags and the carrier bits have non-empty inter...

-

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? +This means that both the kind flags and the carrier bits have non-empty intersection.

diff --git a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html index a4d328e96..124cf2e6f 100644 --- a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html @@ -11804,9 +11804,9 @@ of this run.

-
+
- + @@ -11830,14 +11830,6 @@ of this run.

fs: - FlagConjunction - - , - - - - butNot: - FlagSet @@ -11866,14 +11858,12 @@ of this run.

-
-

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?

@@ -11916,7 +11906,7 @@ in butNot are set?

fs: - FlagSet + FlagConjunction ) @@ -11945,11 +11935,11 @@ in butNot are set?

-

Has this denotation one of the flags in fs set?

+

Has this denotation all of the flags in fs set?

-

Has this denotation one of the flags in fs set?

+

Has this denotation all of the flags in fs set?

@@ -11966,9 +11956,9 @@ in butNot are set?

-
+
- + @@ -11992,7 +11982,15 @@ in butNot are set?

fs: - FlagConjunction + FlagSet + + , + + + + butNot: + + FlagSet ) @@ -12020,12 +12018,14 @@ in butNot are set?

-
-

Has this denotation all of the flags in fs set?

+
+

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

-
-

Has this denotation all of the flags in fs set?

+
+

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

@@ -12068,7 +12068,7 @@ in butNot are set?

fs: - FlagSet + FlagConjunction , @@ -12105,12 +12105,12 @@ in butNot are set?

-

Has this denotation one of the flags in fs set, whereas none of the flags +

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, whereas none of the flags +

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

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

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

- : Denotation + : SingleDenotation
-

If this denotation does not exist, fallback to alternative

- +
-

If this denotation does not exist, fallback to alternative

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

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

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

-
+
- + @@ -18440,17 +18451,6 @@ If prev is not defined in current class, do nothing.

PreName - , - - - - argTypes: - - List -[ -Type -] - ) @@ -18477,10 +18477,10 @@ Type
-
+
-
+
@@ -18497,9 +18497,9 @@ Type
-
+
- + @@ -18525,17 +18525,6 @@ Type PreName - , - - - - argTypes: - - List -[ -Type -] - ) @@ -18562,10 +18551,10 @@ Type
-
+
-
+
@@ -18582,9 +18571,9 @@ Type
-
+
- + @@ -18610,6 +18599,17 @@ Type PreName + , + + + + argTypes: + + List +[ +Type +] + ) @@ -18636,10 +18636,10 @@ Type
-
+
-
+
diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html index 94a40969d..e579004b8 100644 --- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html @@ -5472,7 +5472,7 @@ - sym: + self: Symbol @@ -5499,42 +5499,6 @@
-
-
- Symbol - ( - - implicit - - - - ctx: - - Context - - - ) -
-
- - - -
-
- Symbol - ( - - - - self: - - Symbol - - - ) -
-
-
@@ -5612,6 +5576,42 @@
+ +
+
+ Symbol + ( + + + + sym: + + Symbol + + + ) +
+
+ +
+
+ Symbol + ( + + implicit + + + + ctx: + + Context + + + ) +
+
+ +

@@ -12499,9 +12499,9 @@ of this run.

-
+
- + @@ -12525,14 +12525,6 @@ of this run.

fs: - FlagConjunction - - , - - - - butNot: - FlagSet @@ -12561,14 +12553,12 @@ of this run.

-
-

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?

@@ -12611,7 +12601,7 @@ in butNot are set?

fs: - FlagSet + FlagConjunction ) @@ -12640,11 +12630,11 @@ in butNot are set?

-

Has this denotation one of the flags in fs set?

+

Has this denotation all of the flags in fs set?

-

Has this denotation one of the flags in fs set?

+

Has this denotation all of the flags in fs set?

@@ -12661,9 +12651,9 @@ in butNot are set?

-
+
- + @@ -12687,7 +12677,15 @@ in butNot are set?

fs: - FlagConjunction + FlagSet + + , + + + + butNot: + + FlagSet ) @@ -12715,12 +12713,14 @@ in butNot are set?

-
-

Has this denotation all of the flags in fs set?

+
+

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

-
-

Has this denotation all of the flags in fs set?

+
+

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

@@ -12763,7 +12763,7 @@ in butNot are set?

fs: - FlagSet + FlagConjunction , @@ -12800,12 +12800,12 @@ in butNot are set?

-

Has this denotation one of the flags in fs set, whereas none of the flags +

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, whereas none of the flags +

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

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

that: => - Denotation + SingleDenotation ) @@ -18761,18 +18761,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

- +
-
+
- + @@ -20148,6 +20148,17 @@ from source.

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

-
+
-
+
@@ -20194,9 +20205,9 @@ from source.

-
+
- + @@ -20222,17 +20233,6 @@ from source.

PreName - , - - - - argTypes: - - List -[ -Type -] - ) @@ -20259,10 +20259,10 @@ Type
-
+
-
+
@@ -20279,9 +20279,9 @@ Type
-
+
- + @@ -20307,17 +20307,6 @@ Type PreName - , - - - - argTypes: - - List -[ -Type -] - ) @@ -20344,10 +20333,10 @@ Type
-
+
-
+
@@ -20364,9 +20353,9 @@ Type
-
+
- + @@ -20392,6 +20381,17 @@ Type PreName + , + + + + argTypes: + + List +[ +Type +] + ) @@ -20418,10 +20418,10 @@ Type
-
+
-
+
diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html index 51b434199..ebb15d0c3 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -10728,7 +10728,7 @@ to the given type symbol?

- @tailrec + final diff --git a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html index 3520c4228..f1d8bab04 100644 --- a/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html +++ b/api/dotty/tools/dotc/printing/Formatting$/ExplainingPrinter.html @@ -5561,9 +5561,9 @@
-
+
- + @@ -5575,7 +5575,7 @@ - TypeParamRefNameString + ParamRefNameString @@ -5587,7 +5587,7 @@ param: - TypeParamRef + ParamRef ) @@ -5602,10 +5602,10 @@
-
+
-
+
@@ -5687,6 +5687,69 @@ the decoded original name.

+
+
+ + + + + + override + + + def + + + + toTextRef + + + + + + ( + + + + tp: + + SingletonType + + + ) + + + + + + + : Text + +
+ +
+
+

The string representation of this type used as a prefix

+ +
+
+

The string representation of this type used as a prefix

+ +
+
+ +
+
diff --git a/api/dotty/tools/dotc/printing/PlainPrinter.html b/api/dotty/tools/dotc/printing/PlainPrinter.html index 12e321d7d..3fe9659f1 100644 --- a/api/dotty/tools/dotc/printing/PlainPrinter.html +++ b/api/dotty/tools/dotc/printing/PlainPrinter.html @@ -5596,9 +5596,9 @@
-
+
- + @@ -5610,7 +5610,7 @@ - TypeParamRefNameString + ParamRefNameString @@ -5622,7 +5622,7 @@ name: - TypeName + Name ) @@ -5637,10 +5637,10 @@
-
+
-
+
@@ -5657,9 +5657,9 @@
-
+
- + @@ -5671,7 +5671,7 @@ - TypeParamRefNameString + ParamRefNameString @@ -5683,7 +5683,7 @@ param: - TypeParamRef + ParamRef ) @@ -5698,10 +5698,10 @@
-
+
-
+
diff --git a/api/dotty/tools/dotc/printing/RefinedPrinter.html b/api/dotty/tools/dotc/printing/RefinedPrinter.html index 85dfbe5aa..493287dec 100644 --- a/api/dotty/tools/dotc/printing/RefinedPrinter.html +++ b/api/dotty/tools/dotc/printing/RefinedPrinter.html @@ -5691,9 +5691,9 @@
-
+
- + @@ -5705,7 +5705,7 @@ - TypeParamRefNameString + ParamRefNameString @@ -5717,7 +5717,7 @@ name: - TypeName + Name ) @@ -5732,10 +5732,10 @@
-
+
-
+
diff --git a/api/dotty/tools/dotc/typer/TypeAssigner.html b/api/dotty/tools/dotc/typer/TypeAssigner.html index c6c007390..7b58af844 100644 --- a/api/dotty/tools/dotc/typer/TypeAssigner.html +++ b/api/dotty/tools/dotc/typer/TypeAssigner.html @@ -9448,6 +9448,100 @@ that the package object shows up as the prefix.

+
+
+ + + + + + + + + def + + + + safeSubstParam + + + + + + ( + + + + tp: + + Type + + , + + + + pref: + + ParamRef + + , + + + + argType: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Type + +
+ +
+
+

Substitute argument type argType for parameter pref in type tp, +skolemizing the argument type if it is not stable and pref occurs in tp.

+ +
+
+

Substitute argument type argType for parameter pref in type tp, +skolemizing the argument type if it is not stable and pref occurs in tp.

+ +
+
+ +
+
diff --git a/api/dotty/tools/dotc/util/Positions$/Position.html b/api/dotty/tools/dotc/util/Positions$/Position.html index d24a1d72d..726f50309 100644 --- a/api/dotty/tools/dotc/util/Positions$/Position.html +++ b/api/dotty/tools/dotc/util/Positions$/Position.html @@ -5451,24 +5451,6 @@ All quantities are encoded opaquely in a Long.

-
-
- Position - ( - - - - encoding: - - Int - - - ) -
-
- - -
Position @@ -5502,6 +5484,24 @@ All quantities are encoded opaquely in a Long.

+ +
+
+ Position + ( + + + + encoding: + + Int + + + ) +
+
+ +

diff --git a/api/dotty/tools/io/Jar$/WManifest.html b/api/dotty/tools/io/Jar$/WManifest.html index f8b2bc0ef..c9ed4c575 100644 --- a/api/dotty/tools/io/Jar$/WManifest.html +++ b/api/dotty/tools/io/Jar$/WManifest.html @@ -5439,6 +5439,12 @@ ( + + x$0: + + Manifest + + )

@@ -5469,12 +5475,6 @@ ( - - x$0: - - Manifest - - )
-- cgit v1.2.3