Lấy cây phân tích từ chuỗi mã nguồn trong Poly/ML

Question

Tôi đang cố gắng biên dịch một chuỗi mã nguồn và in cây phân tích bằng Poly/ML. Các mã sau biên dịch, nhưng cây phân tích cú pháp là rỗng:

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 

Chạy này:

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

gì tôi cần phải làm để có được cây phân tích cú pháp từ trình biên dịch? Tôi cũng đã thử một biến thể bằng cách sử dụng thông số biên dịch CPCompilerResultFun. Nhưng điều này không hoạt động:

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 

Chạy điều này không tạo ra bất kỳ đầu ra nào.

Answer 1

Tôi có thể lấy nó bằng cách cung cấp tùy chọn trình biên dịch PolyML.Compiler.CPCompilerResultFun. Nó cho phép bạn access and save the parse tree. Tuy nhiên, tôi không thể nói quá nhiều về cách cây phân tích thực sự được đại diện. Có một số tài liệu hướng dẫn here (trang web là xuống cho tôi), nhưng tôi đã không thể làm quá nhiều ý nghĩa của nó được nêu ra.

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();