Jak mogę uzyskać Scala ToolBox, aby zobaczyć definicje REPL?

Question

Wstecz, gdy odbicie jeszcze trwało, w dniach, w których pojawiły się kamienie milowe Scala 2.10.0, I asked a question, o tym, jak mogę go użyć, aby zobaczyć drzewa fragmentów kodu z REPL. Doskonała odpowiedź poszła dalej, niż się spytałem i pokazała, w jaki sposób można je wykorzystać do analizowania i oceniania drzew, więc poszedłem do przodu i starałem się użyć tego na małym projekcie, który miałem dzisiaj.

Niestety, kod analizowany i oceniany w ten sposób wydaje się nie widzieć żadnej definicji rEPL:

scala> val x = 1 
x: Int = 1 

scala> import scala.tools.reflect.ToolBox 
import scala.tools.reflect.ToolBox 

scala> val tb = scala.reflect.runtime.universe.runtimeMirror(
    getClass.getClassLoader).mkToolBox() 
tb: scala.tools.reflect.ToolBox[reflect.runtime.universe.type] = ... 

scala> tb.eval(tb.parse("x")) 
scala.tools.reflect.ToolBoxError: reflective compilation has failed: 

not found: value x 

Czy istnieje sposób, aby zmusić go do uznania definicje dokonane na REPL?

Answer 1

Niedawno wkopałem się w replikę, próbując uczynić obsługę makr typu wsparcia, więc jestem dobrze przygotowany, aby wyjaśnić, dlaczego to nie działa. Uruchomienie go byłoby następnym krokiem :)

Wiem, że wiesz, że każdy fragment wprowadzony do replikacji zostanie zawinięty w jakiś standardowy zestaw, zanim zostanie skompilowany. Dlatego, że x kończy się być polem w obiekcie zagnieżdżonych-zagnieżdżonych w pakiecie o dziwnej nazwie.

Najwyraźniej replik śledzi wszystkie zdefiniowane symbole, a następnie wstrzykuje niezbędny import wraz z generowanym przez niego szablonem. Dlatego kolejne linie mogą zobaczyć, że x nie ma kwalifikacji. W przeciwieństwie do tego, przyborniki po prostu ponownie wykorzystują moduł ładujący klasy, ale nie robią nic z importu, stąd błąd.

Obejście problemu polegałoby na tym, że w jakiś sposób dojdziemy do obiektu reprezentującego replikę, poprosimy go o zdefiniowane symbole, a następnie wygenerujemy odpowiednie importowanie do kodu, który podajemy do przybornika. Jeśli złożysz zgłoszenie, spróbuję zakodować obejście po zakończeniu szaleńczego kodowania 2.10.1 (prawdopodobnie pod koniec tego tygodnia).