Uzyskiwanie drzewa składni z kodu źródłowego w języku Poly/ML

Question

Próbuję skompilować ciąg kodu źródłowego i wydrukować drzewo analizy za pomocą Poly/ML. Poniższy kod kompiluje, ale drzewo parse jest pusty:

fun main() = 
    let 
     val stream = TextIO.openString "let val a = \"abc\"; val b = \"def\"; val c = a^b in print c end"; 
     val _ = PolyML.compiler (fn() => TextIO.input1 stream, []); 
     val (_, parseTree) = !PolyML.IDEInterface.parseTree 
    in 
     PolyML.print (parseTree); 
     PolyML.print (List.length parseTree); 
     List.map PolyML.print (parseTree); 
     () 
    end 

Running to:

$ ./a.out 
[...] 
0 
$ 

Co muszę zrobić, aby dostać drzewo parsującej od kompilatora? Próbowałem również wariację przy użyciu parametru kompilatora CPCompilerResultFun. Ale to też nie zadziałało:

fun main() = 
    let 
     fun useTree (NONE, _)() = 
      (PolyML.print "not parsed";()) 
      | useTree (SOME parseTree, _)() = 
      (PolyML.print "parsed"; PolyML.print parseTree;()); 

     val stream = TextIO.openString "let val a = \"abc\"; val b = \"def\"; val c = a^b in print c end"; 
     val _ = PolyML.compiler (fn() => TextIO.input1 stream, [PolyML.Compiler.CPCompilerResultFun useTree]); 
    in 
     () 
    end 

Uruchomienie tego nie daje żadnego wyniku.

Answer 1

Udało mi się go uzyskać, udostępniając opcję kompilatora PolyML.Compiler.CPCompilerResultFun. To pozwala na access and save the parse tree. Jednak nie mogę powiedzieć zbyt wiele o tym, jak drzewo analizowane jest faktycznie reprezentowane. Jest pewna dokumentacja here (strona jest dla mnie niedostępna), ale nie mogłem jej jeszcze zrozumieć.

val resultTrees : PolyML.parseTree list ref = ref []; 

fun compilerResultFun (parsetree, codeOpt) = 
    let 
    val _ = 
     case parsetree of 
     SOME pt => resultTrees := !resultTrees @ [pt] 
     | NONE =>() 
    in 
    fn() => raise Fail "not implemented" 
    end; 

val stream = TextIO.openString "val a = 1"; 

val _ = PolyML.compiler (fn() => TextIO.input1 stream, [ 
    PolyML.Compiler.CPCompilerResultFun compilerResultFun 
]); 

val [(a, [PolyML.PTfirstChild b])] = !resultTrees; 
val (_, [PolyML.PTfirstChild c, PolyML.PTparent d, PolyML.PTprint e]) = b();