summaryrefslogtreecommitdiff
path: root/test/files/run/repl-power.check
blob: 0d4a30b8e3b304649519e12fe0e425c89a9c0d96 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
scala> :power
Power mode enabled. :phase is at typer.
import scala.tools.nsc._, intp.global._, definitions._
Try :help or completions for vals._ and power._

scala> // guarding against "error: reference to global is ambiguous"

scala> global.emptyValDef  // "it is imported twice in the same scope by ..."
warning: there was one deprecation warning; re-run with -deprecation for details
res0: $r.global.noSelfType.type = private val _ = _

scala> val tp = ArrayClass[scala.util.Random]    // magic with tags
warning: there was one feature warning; re-run with -feature for details
tp: $r.global.Type = Array[scala.util.Random]

scala> tp.memberType(Array_apply)                // evidence
res1: $r.global.Type = (i: Int)scala.util.Random

scala> val m = LIT(10)                           // treedsl
m: $r.treedsl.global.Literal = 10

scala> typed(m).tpe                              // typed is in scope
res2: $r.treedsl.global.Type = Int(10)

scala> """escaping is hard, m'kah"""
res3: String = escaping is hard, m'kah

scala> :quit