test17.abs

来自「tiger编译器的Java实现」· ABS 代码 · 共 34 行

 LetExp(
  DecList(
   TypeDec(tree,
    RecordTy(
     Fieldlist(
      key
      int,
      true,
      Fieldlist(
       children
       treelist,
       true,
       Fieldlist())))),
   DecList(
    VarDec(d,
     int,
     IntExp(0),
     true),
    DecList(
     TypeDec(treelist,
      RecordTy(
       Fieldlist(
        hd
        tree,
        true,
        Fieldlist(
         tl
         treelist,
         true,
         Fieldlist())))),
     DecList()))),
  SeqExp(
   ExpList(
    IntExp(6))))