drracket 中的标签、goto 命令

Question

drracket中有label、goto、jump命令的包吗？

Control包出现以下错误:

 (let ([x 1])
    (let/ec return
      (begin/goto
        (label l1)
        (set! x (+ x 1))
        (when (= x 10000000)
          (return x))
        (goto l1)
        2)))

goto: undefined;

cannot reference undefined identifier

需要模拟标签、goto/jump以在LLVM IR中运行代码，因此不可以使用循环重写。

Answer 1

首先:很明显，soegaard 的 Control 包无法正常工作，我猜这是因为过去几年语法系统的更新所致。

第二:如果您正在模拟 LLVM，则不需要标签和 goto。只需将代码分解为基本 block ，并将每个基本 block 建模为函数即可。然后每个 goto 就变成一个函数调用。您绝对可以自动化此操作。

抱歉说得太简洁了。如果您需要更多详细信息，请告诉我。