From db0e81121b822a28bff2e08c3e752c1f346a82ee Mon Sep 17 00:00:00 2001 From: dotty-bot Date: Tue, 11 Apr 2017 11:46:26 +0000 Subject: Update gh-pages site for 92a9d05fd64ac97140aa0f01214c4738526383c3 --- api/dotty/tools/dotc/core/Contexts$/Context.html | 190 ++++++++++---------- api/dotty/tools/dotc/core/Definitions.html | 200 ++++++--------------- .../tools/dotc/core/Flags$/FlagConjunction.html | 48 ++--- .../tools/dotc/core/Symbols$/ClassSymbol.html | 82 ++++----- api/dotty/tools/dotc/core/Symbols$/Symbol.html | 126 ++++++------- api/dotty/tools/dotc/core/Types$/Type.html | 76 ++++---- .../dotc/repl/ammonite/terminal/TermAction.html | 2 +- .../tools/dotc/repl/ammonite/terminal/index.html | 2 +- api/dotty/tools/dotc/typer/Applications$.html | 156 +++++++++++++++- api/dotty/tools/dotc/util/Positions$/Position.html | 36 ++-- 10 files changed, 483 insertions(+), 435 deletions(-) diff --git a/api/dotty/tools/dotc/core/Contexts$/Context.html b/api/dotty/tools/dotc/core/Contexts$/Context.html index bbb06210d..7043cd5cb 100644 --- a/api/dotty/tools/dotc/core/Contexts$/Context.html +++ b/api/dotty/tools/dotc/core/Contexts$/Context.html @@ -5506,7 +5506,7 @@ classes (which should be short-lived). - c: + ctx: Context @@ -5554,7 +5554,7 @@ classes (which should be short-lived). - ctx: + c: Context @@ -9515,9 +9515,9 @@ was created, otherwise null.

-
+
- + @@ -9539,9 +9539,9 @@ was created, otherwise null.

- sym: + sd: - Symbol + SingleDenotation ) @@ -9556,12 +9556,12 @@ was created, otherwise null.

-
-

Textual representation of symbol's declaration

+
+

Textual representation of single denotation's declaration

-
-

Textual representation of symbol's declaration

+
+

Textual representation of single denotation's declaration

@@ -9578,9 +9578,9 @@ was created, otherwise null.

-
+
- + @@ -9602,9 +9602,9 @@ was created, otherwise null.

- sd: + sym: - SingleDenotation + Symbol ) @@ -9619,12 +9619,12 @@ was created, otherwise null.

-
-

Textual representation of single denotation's declaration

+
+

Textual representation of symbol's declaration

-
-

Textual representation of single denotation's declaration

+
+

Textual representation of symbol's declaration

@@ -16088,9 +16088,9 @@ It has

-
+
- + @@ -16112,9 +16112,9 @@ It has

- tp: + annot: - Type + Annotation ) @@ -16129,12 +16129,12 @@ It has

-
-

Textual representation of type

+
+

Textual representation of annotation

-
-

Textual representation of type

+
+

Textual representation of annotation

@@ -16151,9 +16151,9 @@ It has

-
+
- + @@ -16175,9 +16175,12 @@ It has

- name: + tree: - Name + Tree +[ +T +] ) @@ -16192,12 +16195,12 @@ It has

-
-

The name as a text

+
+

Textual representation of tree

-
-

The name as a text

+
+

Textual representation of tree

@@ -16214,9 +16217,9 @@ It has

-
+
- + [+] @@ -16238,9 +16241,9 @@ It has

- const: + sym: - Constant + Symbol ) @@ -16255,12 +16258,14 @@ It has

-
-

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.

@@ -16277,9 +16282,9 @@ It has

-
+
- + @@ -16301,12 +16306,9 @@ It has

- tree: + result: - Tree -[ -T -] + ImportInfo ) @@ -16321,12 +16323,12 @@ T
-
-

Textual representation of tree

+
+

Textual representation of info relating to an import clause

-
-

Textual representation of tree

+
+

Textual representation of info relating to an import clause

@@ -16343,9 +16345,9 @@ T
-
+
- [+] + @@ -16367,9 +16369,9 @@ T - sym: + result: - Symbol + SearchResult ) @@ -16384,14 +16386,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 implicit search result

-
-

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 implicit search result

@@ -16471,9 +16471,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16495,9 +16495,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - result: + name: - SearchResult + Name ) @@ -16512,12 +16512,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

Textual representation of implicit search result

+
+

The name as a text

-
-

Textual representation of implicit search result

+
+

The name as a text

@@ -16534,9 +16534,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16558,9 +16558,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - annot: + tp: - Annotation + Type ) @@ -16575,12 +16575,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

Textual representation of annotation

+
+

Textual representation of type

-
-

Textual representation of annotation

+
+

Textual representation of type

@@ -16597,9 +16597,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16621,9 +16621,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - result: + denot: - ImportInfo + Denotation ) @@ -16638,12 +16638,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

Textual representation of info relating to an import clause

+
+

Textual representation of denotation

-
-

Textual representation of info relating to an import clause

+
+

Textual representation of denotation

@@ -16660,9 +16660,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
+
- + @@ -16684,9 +16684,9 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity. - denot: + const: - Denotation + Constant ) @@ -16701,12 +16701,12 @@ If hasMeaninglessName is true, uses the owner's name to disambiguate identity.
-
-

Textual representation of denotation

+
+

Textual representation of constant

-
-

Textual representation of denotation

+
+

Textual representation of constant

diff --git a/api/dotty/tools/dotc/core/Definitions.html b/api/dotty/tools/dotc/core/Definitions.html index 6e9c6009e..9710922c5 100644 --- a/api/dotty/tools/dotc/core/Definitions.html +++ b/api/dotty/tools/dotc/core/Definitions.html @@ -9721,6 +9721,54 @@ TypeRef
+
+
+ + + + + + lazy + + + val + + + + IndexOutOfBoundsException + + + + + + + + + : ClassSymbol + +
+ +
+
+ +
+
+ +
+
+ +
+
@@ -26690,11 +26738,11 @@ Type
-

Is tp (an alias) of either a scala.FunctionN or a scala.ImplicitFunctionN ?

+

Is tp (an alias) of either a scala.FunctionN or a scala.ImplicitFunctionN?

-

Is tp (an alias) of either a scala.FunctionN or a scala.ImplicitFunctionN ?

+

Is tp (an alias) of either a scala.FunctionN or a scala.ImplicitFunctionN?

@@ -27083,80 +27131,6 @@ Type
-
-
- - - - - - - - - def - - - - isProductSubType - - - - - - ( - - - - tp: - - Type - - - ) - - ( - - implicit - - - - ctx: - - Context - - - ) - - - - - - - : Boolean - -
- -
-
- -
-
- -
-
- -
-
@@ -28401,80 +28375,6 @@ TypeRef
-
-
- - - - - - - - - def - - - - productArity - - - - - - ( - - - - tp: - - Type - - - ) - - ( - - implicit - - - - ctx: - - Context - - - ) - - - - - - - : Int - -
- -
-
- -
-
- -
-
- -
-
diff --git a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html index d96eb25a8..31f3d9ad2 100644 --- a/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html +++ b/api/dotty/tools/dotc/core/Flags$/FlagConjunction.html @@ -6018,9 +6018,9 @@ String
-
+
- + [+] @@ -6046,14 +6046,6 @@ String FlagSet - , - - - - butNot: - - FlagSet - ) @@ -6067,14 +6059,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 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.

@@ -6231,9 +6223,9 @@ Pre: The intersection of the typeflags of both sets must be non-empty.

-
+
- [+] + @@ -6259,6 +6251,14 @@ Pre: The intersection of the typeflags of both sets must be non-empty.

FlagSet + , + + + + butNot: + + FlagSet + ) @@ -6272,14 +6272,14 @@ 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 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?

diff --git a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html index fca5b2fd3..d221ed0b7 100644 --- a/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/ClassSymbol.html @@ -11885,9 +11885,9 @@ in butNot are set?

-
+
- + @@ -11913,14 +11913,6 @@ in butNot are set?

FlagConjunction - , - - - - butNot: - - FlagSet - ) @@ -11947,14 +11939,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 all 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 all of the flags in fs set?

@@ -12047,9 +12037,9 @@ in butNot are set?

-
+
- + @@ -12075,6 +12065,14 @@ in butNot are set?

FlagConjunction + , + + + + butNot: + + FlagSet + ) @@ -12101,12 +12099,14 @@ in butNot are set?

-
-

Has this denotation all 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 all 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?

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

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

PreName - , - - - - argTypes: - - List -[ -Type -] - ) @@ -18511,10 +18500,10 @@ Type
-
+
-
+
@@ -18531,9 +18520,9 @@ Type
-
+
- + @@ -18559,6 +18548,17 @@ Type PreName + , + + + + argTypes: + + List +[ +Type +] + ) @@ -18585,10 +18585,10 @@ Type
-
+
-
+
diff --git a/api/dotty/tools/dotc/core/Symbols$/Symbol.html b/api/dotty/tools/dotc/core/Symbols$/Symbol.html index 0330583a1..cacfa7959 100644 --- a/api/dotty/tools/dotc/core/Symbols$/Symbol.html +++ b/api/dotty/tools/dotc/core/Symbols$/Symbol.html @@ -5476,18 +5476,18 @@
- -
Symbol ( + implicit + - sym: + ctx: - Symbol + Context ) @@ -5530,24 +5530,6 @@
-
-
- Symbol - ( - - implicit - - - - ctx: - - Context - - - ) -
-
-
@@ -5607,6 +5589,24 @@
+ +
+
+ Symbol + ( + + + + sym: + + Symbol + + + ) +
+
+ +

@@ -12580,9 +12580,9 @@ in butNot are set?

-
+
- + @@ -12608,14 +12608,6 @@ in butNot are set?

FlagConjunction - , - - - - butNot: - - FlagSet - ) @@ -12642,14 +12634,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 all 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 all of the flags in fs set?

@@ -12742,9 +12732,9 @@ in butNot are set?

-
+
- + @@ -12770,6 +12760,14 @@ in butNot are set?

FlagConjunction + , + + + + butNot: + + FlagSet + ) @@ -12796,12 +12794,14 @@ in butNot are set?

-
-

Has this denotation all 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 all 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?

@@ -20354,9 +20354,9 @@ from source.

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

PreName - , - - - - argTypes: - - List -[ -Type -] - ) @@ -20419,10 +20408,10 @@ Type
-
+
-
+
@@ -20439,9 +20428,9 @@ Type
-
+
- + @@ -20467,6 +20456,17 @@ Type PreName + , + + + + argTypes: + + List +[ +Type +] + ) @@ -20493,10 +20493,10 @@ Type
-
+
-
+
diff --git a/api/dotty/tools/dotc/core/Types$/Type.html b/api/dotty/tools/dotc/core/Types$/Type.html index 55a769bc4..b293bb6fd 100644 --- a/api/dotty/tools/dotc/core/Types$/Type.html +++ b/api/dotty/tools/dotc/core/Types$/Type.html @@ -6213,9 +6213,9 @@ is covariant is irrelevant, so can be ignored.

-
+
- + @@ -6237,12 +6237,17 @@ is covariant is irrelevant, so can be ignored.

- args: + arg1: - List -[ -Type -] + Type + + , + + + + arg2: + + Type ) @@ -6270,17 +6275,11 @@ Type
-
-

The type representing

-

T[U1, ..., Un]

-

where

- +
+
-
-

The type representing

-

T[U1, ..., Un]

-

where

- +
+
-
+
- + @@ -6320,15 +6319,7 @@ Type - arg1: - - Type - - , - - - - arg2: + arg: Type @@ -6358,10 +6349,10 @@ Type
-
+
-
+
@@ -6378,9 +6369,9 @@ Type
-
+
- + @@ -6402,9 +6393,12 @@ Type - arg: + args: - Type + List +[ +Type +] ) @@ -6432,11 +6426,17 @@ Type
-
- +
+

The type representing

+

T[U1, ..., Un]

+

where

+
-
- +
+

The type representing

+

T[U1, ..., Un]

+

where

+
+
+
@@ -5987,14 +6061,14 @@ parameterless isDefined member of result type Boolean.

Does tp fit the "product match" conditions as an unapply result type -for a pattern with numArgs subpatterns> -This is the case of tp is a subtype of the...

+for a pattern with numArgs subpatterns? +This is the case of tp has members _1 to _N

Does tp fit the "product match" conditions as an unapply result type -for a pattern with numArgs subpatterns> -This is the case of tp is a subtype of the Product class.

+for a pattern with numArgs subpatterns? +This is the case of tp has members _1 to _N where N == numArgs.

@@ -6011,6 +6085,80 @@ This is the case of tp is a subtype of the Product class.<
+
+
+ + + + + + + + + def + + + + productArity + + + + + + ( + + + + tp: + + Type + + + ) + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Int + +
+ +
+
+ +
+
+ +
+
+ +
+
diff --git a/api/dotty/tools/dotc/util/Positions$/Position.html b/api/dotty/tools/dotc/util/Positions$/Position.html index ad8b25e3a..4ad71ccc0 100644 --- a/api/dotty/tools/dotc/util/Positions$/Position.html +++ b/api/dotty/tools/dotc/util/Positions$/Position.html @@ -5446,24 +5446,6 @@ All quantities are encoded opaquely in a Long.

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

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

-- cgit v1.2.3