【问题标题】:OCaml Unbound value enfOCaml 未绑定值 enf
【发布时间】:2018-11-18 18:22:16
【问题描述】:

我有一个关于在全局函数中使用局部函数的问题。
我试着写了图片中出现的函数,但是报错了

f的未绑定值

出现这个错误很奇怪。它应该不会出现,因为我在affichage 中定义了函数enf 的定义。

这是我的代码相关部分的图片:

这个错误的原因是什么?

【问题讨论】:

  • 您最好尝试减少您正在尝试编写的函数,并在 SO 上提供错误以及您收到的确切错误消息中出错的确切代码。
  • 尝试创建minimal reproducible example 并将您的代码作为文本而不是图像发布。如果您让潜在的回答者更容易获得答案,那么您更有可能得到答案。另请参阅How to Ask
  • 请在您的问题中发布您的程序代码,而不是提供指向它的绘画的链接。

标签: ocaml unbound


【解决方案1】:

在定义affichage时没有定义enf,所以由于affichage的body引用了enf,这会导致unbound value错误。为了拥有mutually recursive functions,你需要一些形式

let rec affichage (* ... *) =
  (* ... *)
and enf (* ... *) =
  (* ... *)
in
  (* ... *)
;;

【讨论】:

  • 谢谢你,我会检查你给我的文件
猜你喜欢
  • 2014-11-08
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 2013-08-28
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多