如何将数据类型从Cil_types转换为Cil

Question

当我使用fram-c编写解析器时。我遇到了一个问题，Ast.get()返回Cil_types.file类型，但我需要Cil.file供以后使用。它们实际上具有相同的字段，但是ocaml编译器只是不允许从Cil_types.file直接分配到Cil.file。在Ocaml中是否有任何类型的强制转换函数可以帮助我做到这一点。

Ps:我尝试将Cil_types.file的每个字段分配给Cil.file，但同样的问题是递归发生的(不允许Cil.file.* = Cil_types.file.*)。我真的很感激你的帮助！

Answer 1

在Frama-C中，不存在Cil_types.file类型。也许您正在将Frama-C与原始的Cil混合使用。