【问题标题】:How to use ocaml-top如何使用ocaml-top
【发布时间】:2014-03-20 19:59:26
【问题描述】:

我有一个学校的 OCaml 项目并下载了他们提供的模板项目。我需要编辑一个名为puzzle.ml 的文件。如何使用 ocaml-top 编辑/打开puzzle.ml 文件。我一直在尝试解决这个问题几个小时,但仍然没有运气。任何提示或建议表示赞赏。感谢您的宝贵时间!

使用小牛

【问题讨论】:

  • 你卡在哪一部分了? (到目前为止,您尝试了哪些步骤?)
  • 我只是不知道如何使用 ocaml-top 打开文件。我已经将终端导航到项目目录。我试过 ocaml-topuzzle.ml。我不知道应该使用什么命令来使用 ocaml-top 就是这样。
  • 您是否遵循这些安装步骤(在"Installation" section of this page
  • 我已经安装了 ocaml-top。我想进编辑器不知道怎么进
  • 如果你在终端(命令行)中输入ocaml-top会发生什么?

标签: macos ocaml typerex


【解决方案1】:

如果只是运行 ocaml-top 给您一个错误,即找不到命令,则 OPAM 可能没有正确设置您的 PATH 变量,这可以通过将以下内容添加到您的 shell 配置文件中来解决:

export PATH=/Users/$USER/.opam/system/bin:$PATH #for bash
set PATH /Users/$USER/.opam/system/bin $PATH    #for fish

【讨论】:

  • 这个。为我修复了它,不知道为什么路径搞砸了,但 ocaml-top 命令现在正在工作。谢谢!
  • @CoderNinja,如果您自己修改它,似乎OPAM初始化没有正确设置路径。我也遇到了这个问题,如下面的 cmets 所示,但显然这个答案太大了,所以我自己发布了。很高兴它有帮助!
  • 这个问题有永久修复吗?看来我每次重新打开终端时都必须这样做
  • 就像我在回答中所说的,将适当的行添加到您的 shell 配置文件中。 IE。 .bashrc 或您的 shell 的等效项。
【解决方案2】:

首先,免费图书https://realworldocaml.org/是你的朋友。

其次,ocamltop 不是编辑器,它是一个运行环境。您可以使用 #use "yourfile.ml" 运行您的 ocaml ml 文件。

第三,您可以使用任何文本编辑器来编辑您的源文件。

【讨论】:

  • 好吧,ocaml top ppl 在他们的网站上展示了一个漂亮的编辑器,这就是你在安装 Windows 时得到的东西。我只是想知道如何获得它
  • OP指的是OCamlPro的ocaml-top交互编辑器,不是OCaml内置的top-level。
【解决方案3】:

其他人都认为你的意思是标准的 OCaml 顶级。但是,ocaml-top 是一个基于 gtk 的编辑器,用于编辑和评估 OCaml 代码:http://www.typerex.org/ocaml-top.html

我刚刚在我的 OS X Maverics 系统上安装了它,这真的很困难。你说你已经安装了。如果是这样,那令人印象深刻,因为我真的觉得很难:-)

现在我已经安装了它,我可以这样运行它:

$ ocaml-top

在终端(命令行)中。它看起来很不错,它确实让我可以编辑和执行 OCaml 代码。我只尝试了一些简单的事情。

然而,ocaml-top 使用 X11 来显示它的窗口。因此,您还需要在 OS X 系统上安装 X11。

【讨论】:

  • 我已经安装了 ocaml-top,opam install ocaml-top 告诉我我至少有。但是我找不到二进制文件的位置...只是在终端中使用ocaml-top 告诉我有一个无效的命令。
  • 所以,它似乎没有在路径中链接......当我尝试从/Users/$USER/.opam/sys/bin/ 运行它时,它告诉我它未能在@987654325 中找到徽标@ 应该在该目录中的目录。
【解决方案4】:

一种工作方式是在 ocaml 顶层旁边有一个编辑器窗口,然后剪切并粘贴您要测试的行。

您有 ocaml 文档吗?如果没有得到它。在有关顶层的章节中,您将找到读取文件的方法。

【讨论】:

    猜你喜欢
    • 2017-09-28
    • 2022-01-20
    • 1970-01-01
    • 2014-03-11
    • 2018-10-14
    • 2013-12-02
    • 2012-01-25
    • 1970-01-01
    • 1970-01-01
    相关资源
    最近更新 更多