Dotty Documentation

0.1.1-bin-SNAPSHOT

object Mode

[-] Constructors

[-] Members

[+] val AllowDependentFunctions : Mode

Allow dependent functions. This is currently necessary for unpickling, because some dependent functions are passed through from the front end(s?), even though they are technically speaking illegal.

[+] val AllowLambdaWildcardApply : Mode

Allow hk applications of type lambdas to wildcard arguments; used for checking that such applications do not normally arise

[+] val CheckCyclic : Mode
[+] val GADTflexible : Mode

Allow GADTFlexType labelled types to have their bounds adjusted

[+] val ImplicitExploration : Mode

We are currently in a viewExists check. In that case, ambiguous implicits checks are disabled and we succeed with the first implicit found.

[+] val ImplicitShadowing : Mode

We are currently typechecking an ident to determine whether some implicit is shadowed - don't do any other shadowing tests.

[+] val ImplicitsEnabled : Mode
[+] val InPackageClauseName : Mode

We are elaborating the fully qualified name of a package clause. In this case, identifiers should never be imported.

[+] val InSuperCall : Mode

We are looking at the arguments of a supercall

[+] val InferringReturnType : Mode
[+] val None : Mode
[+] val OldOverloadingResolution : Mode

Use Scala2 scheme for overloading and implicit resolution

[+] val Pattern : Mode
[+] val PatternOrType : Mode
[+] val Printing : Mode

We are currently printing something: avoid to produce more logs about the printing

[+] val ReadPositions : Mode

Read original positions when unpickling from TASTY

[+] val Scala2Unpickling : Mode

We are currently unpickling Scala2 info

[+] val Type : Mode
[+] val TypevarsMissContext : Mode

This mode bit is set if we collect information without reference to a valid context with typerstate and constraint. This is typically done when we cache the eligibility of implicits. Caching needs to be done across different constraints. Therefore, if TypevarsMissContext is set, subtyping becomes looser, and assumes that TypeParamRefs can be sub- and supertypes of anything. See TypeComparer.

[+] private val modeName : Array [ String ]
[+] def newMode ( bit: Int , name: String ) : Mode