此表达式的类型为Sast.var_decl，但应为Ast.var_decl类型的表达式(使用Ocaml编写编译)

Question

我正在使用Ocaml编写一个小编译器。我想先检查Ast，然后输入Sast。

但我总是得到如下错误：

  File "typecheck_debug.ml", line 93, characters 28-35:
    Error: This expression has type Sast.var_decl
           but an expression was expected of type Ast.var_decl

代码是：

    let rec trans_lval env = function
          Ast.Id(n) -> let vdecl = (find_variable env.scope n) in
                       Sast.Id(vdecl), vdecl.vvtype 

    ocamllex scanner.mll
    ocamlyacc parser.mly
    ocamlc -c ast.mli
    ocamlc -c parser.mli
    ocamlc -c scanner.ml
    ocamlc -c parser.ml
    ocamlc -c sast.mli
    ocamlc -c typecheck_debug.ml

我不明白为什么。我的项目流程有什么问题吗？

Answer 1

从这一小段代码中很难看出，但听起来Sast.Id需要一个Sast.var_decl类型的值作为参数，但find_variable会产生一个Ast.var_decl类型的值，所以这就是vdecl的类型。

我在这里假设第93行，字符28-35是(vdecl)。如果不是，请澄清。

Answer 2

另一种可能性是问题不在那里，而是在函数trans_lval的另一个臂中(您没有显示它，但肯定还有其他的，您的ast不能只由Ids组成)。检查代码的哪一部分是罪魁祸首的简单方法包括：

1. 将显式类型批注添加到函数，例如：

让rec函数: Ast.lval -> Sast.lval = trans_lval (*代码跟在后面*)

(这可能是错误的，在错误消失之前，我显然不能从gave).

• commenting出函数代码的信息中辨别出函数的真实类型。当它发生时，您知道冲突至少存在于您注释掉的最后一段代码中。然后你可以尝试解决这个问题。

• 在那之后取消对其他评论的注释，并解决过程中出现的任何其他问题。