程序员经验分享-hwhale

ocaml 命令行找不到“topfind”

2023-12-23

我已经安装了顶级，并且有 $OCAML_TOPLEVEL_PATH 设置。

export OCAML_TOPLEVEL_PATH=/Users/smcho/.opam/system/lib/toplevel

我检查该目录是否存在，并且有一个文件topfind.

这是我的~/.ocamlinit文件内容。

#use "topfind"
#camlp4o
#thread
#require "core.top"
#require "core.syntax"

问题是我收到错误消息，指出找不到 topfind。

> ocaml
        OCaml version 4.02.1

Cannot find file topfind.
Unknown directive `camlp4o'.
#

使用“ustop”，我没有错误消息。

可能出了什么问题？

这是我的 ocaml 环境设置。

> opam config env
CAML_LD_LIBRARY_PATH="/Users/smcho/.opam/system/lib/stublibs:/usr/local/lib/ocaml/stublibs"; export CAML_LD_LIBRARY_PATH;
OPAMUTF8MSGS="1"; export OPAMUTF8MSGS;
MANPATH=":/Users/smcho/.opam/system/man"; export MANPATH;
MAKELEVEL=""; export MAKELEVEL;
MAKEFLAGS=""; export MAKEFLAGS;
PERL5LIB="/Users/smcho/.opam/system/lib/perl5:"; export PERL5LIB;
OCAML_TOPLEVEL_PATH="/Users/smcho/.opam/system/lib/toplevel"; export OCAML_TOPLEVEL_PATH;
PATH="..."; export PATH;

就像声明的那样here https://github.com/ocaml/opam-repository/issues/34#issuecomment-9321796通过萨莫斯：

通常，如果您不使用该问题，则不再存在此问题 系统编译器。如果您使用的是系统编译器，则可以修改 你 ~/.ocamlinit 加载 $OCAML_TOPLEVEL_PATH ，如下所示https://github.com/OCamlPro/opam/blob/master/shell/dot_ocamlinit https://github.com/OCamlPro/opam/blob/master/shell/dot_ocamlinit

因此，您可以使用不同的开关或修改您的.ocamlinit.

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

ocaml

opam

ocamltoplevel

ocaml 命令行找不到“topfind” 的相关文章

  • 与 Python 的 range 函数等效的 OCaml 习惯用法是什么？

    我想创建一个从 1 到 的整数列表n 我可以在 Python 中使用range 1 n 1 并在 Haskell 中使用 take n iterate 1 1 正确的 OCaml 习惯用法是什么 我不知道有什么习惯用法 但这里有一个使用中缀

  • 如何检查两个值是否是使用同一个构造函数创建的？

    假设我有 type t A of int B of int let xx A 2 let yy A 3 我想测试 xx 和 yy 的构造函数是否相等 是否有捷径可寻 而不必 match xx with A gt match yy with

  • GADT 上的模式匹配失败

    我更多地使用 ReasonML 并发现了模式匹配type t从以下示例开始 无法处理该错误 错误 此模式与 t float 类型的值匹配 但需要一个与 t int 类型的值匹配的模式 float 类型与 int 类型不兼容 type t a

  • 让menhir将用户定义的函数从.mly添加到.mli

    Menhir 允许将任意 ocaml 代码添加到 mly 文件的末尾 我想在其中声明一些函数 但我找不到一种方法让 menhir 将我的函数添加到 mli 文件中 以便它们从其他模块中可见 是否可以 答案很简单 那就是no 中定义的代码 m

  • 跟踪编译器中 AST 节点的源位置 (ocaml)

    我正在使用 ocamllex yacc 在 ocaml 中编写编译器 一切进展顺利 但我遇到了设计问题 对于我创建的每个 AST 节点 最好能获得有关源代码中该节点的行 字符位置的信息 这对于稍后向用户提供错误消息很有用 现在 我可以向我的

  • 为什么 OCaml 有时需要 eta 扩展？

    如果我有以下 OCaml 函数 let myFun CCVector map 1 它在 Utop 中运行良好 并且 Merlin 不会将其标记为编译错误 然而 当我尝试编译它时 出现以下错误 错误 该表达式的类型 int a CCVecto

  • 在 OCaml 中的 let 命令（即 let _ = ... in）中使用下划线通配符有副作用吗？

    使用 OCaml 时 我几乎总是使用下划线通配符let exp 特别是当结果exp并不重要 重要的是里面的计算 例如 let print endline abc in let a a 1 in let do some thing in 所以

  • 扁平列表和免费 monad

    我试图说服自己 List monad 具有平面列表 列表串联和按元素映射的列表 不是一个自由 monad 准确地说 是与某个函子 T 关联的自由 monad 据我了解 我应该能够通过以下方式实现这一目标 首先在 monad 列表中找到常用运

  • 在 OCaml 中编写 main 脚本？

    如何在 OCaml 中模拟这个 Python 习惯用法 if name main main See 罗塞塔代码 http rosettacode org wiki ScriptedMain Python其他编程语言的示例 Ocaml 中没有

  • OCaml：从列表中删除重复项，同时保持右侧的顺序

    我刚刚读过这个线程 https groups google com d msg racket users BuUzcJtd3Ig zqYIjVyJdjoJ并觉得很有趣 我实施remove from the left几分钟后即可运行 remo

  • 使用 OCaml Graphics 实际更改文本大小

    我想知道如何在 OCaml 中设置文本大小 我试过Graphics set text size我想这应该可以达成交易 但无论我把set text size 200 or set text size 20并没有改变什么 Graphics se

  • 错误：无法安全地评估递归定义模块的定义

    我很想了解为什么会发生此错误以及解决该错误的最佳方法是什么 我有几个文件types ml and types mli它定义了一个变体类型value可以是许多不同的内置 OCaml 类型 float int list map set 等 由于

  • 使用只有一个元组值的变体类型构造函数

    type foo Foo of int int let t 1 2 Foo t Error The constructor Foo expects 2 argument s but is applied here to 1 argument

  • 使用不带标签的 Core.Std.List.fold_left

    我正在尝试 Core 的List fold left List fold left a Core Std List t gt init b gt f b gt a gt b gt b

  • OCaml：如何运行包含库的脚本

    我正在按照 Real World OCaml 一书来学习 OCaml 许多程序都需要使用 Jane Street Core 库 当我在顶层使用这个核心库中的函数时 它工作得很好 在那里 我只需使用以下命令来打开 Core 库 use top

  • OCaml 中类型和模块相等的规则是什么

    我无法理解 OCaml 中模块的平等性 函子应该是适用的 这就是互联网所声称的 但这有时似乎会失败 而且我不太明白其背后的一般规则 这是我的示例代码 module type PT sig end module P struct end le

  • 如何在 OCaml 中使协变可观察

    我正在尝试为值制作一个包装器 允许调用者自行注册以获取有关它的通知 这是一些 工作 代码 module Thing sig type a t val make a gt a t val watch a gt unit gt a t gt u

  • OCaml 3.12 中的一流模块：它们将使哪些事情变得更容易（或可能）？

    我听说 OCaml 3 12 中即将推出 一流模块 他们将提供什么优势 哪些孩子的事情会变得更容易 他们试图解决什么问题 一个简单的例子就足够了 这只是一个可能的应用程序 但一流的模块可以轻松地对存在类型进行编码 基本上是一个模块打包存在类

  • 链接“let”语句时使用“and”还是“in”更好？

    我意识到这可能是一个愚蠢的问题 但是 如果我把一堆let不需要需要了解彼此价值观的语句 使用是否更好and or in 例如 以下哪一个更可取 如果有 let a foo and b bar and c baz in etc or let

  • OCaml 中的用户定义打印机

    printf fprintf等 全部接受 a转换 手册上说对于 a 用户定义的打印机 采用两个参数 并将第一个参数应用于 outchan 当前输出通道 和第二个参数 因此 第一个参数的类型必须为 out channel gt b gt un

随机推荐

  • 如何删除 MigLayout 中的 JPanel 填充？

    以下情况 当我将 JLabel 添加到面板时 我得到不需要的填充 空间 我怎样才能删除它 看左侧 我想要它像图片右侧所示的那样 这是我的简短测试代码 它产生上图左侧所示的输出 setLayout new MigLayout gapy 0 d

  • 使用 MVC5 和 OWIN 自定义身份

    我尝试使用 MVC5 和 OWIN 身份验证向网站的 ApplicationUser 添加自定义属性 我读了https stackoverflow com a 10524305 264607 https stackoverflow com

  • C# 组件引发的异常消息是否通过互操作传递到 C++？

    如果我在 C 类中实现 COM 接口 该接口将从 C 模块调用 那么在发生故障时 C 代码应该抛出异常 这将由互操作层编组为 HRESULT 失败代码 但是传递给 Exception 构造函数的任何消息文本 或其他信息 是否也可用于调用 C

  • Apache Tiles 中的 Struts2 MessageResources

    我尝试在图块中使用 Struts2 消息资源 但没有成功 2 1 4表达 例如 以下资源可在 JSP

  • python opencv如何改变HSV通道的色调

    如何通过动态hue offset改变hue通道的值来实现img update hue offset 函数 实现img update hue offset 函数 实现此提交 1 通过动态hue offset更改色调通道的值 import nu

  • 使用 AngularJS 处理 DOM

    我知道操作 DOM 违反了 Angular 的规则 但在这种情况下 我必须横向 DOM 来修改同级节点 在 jQuery 中你可以做这样的事情 this parent addClass loading 角度元素包裹着jqLite默认情况下

  • 如何通过 Python Azure SDK 了解 Azure blob 对象的大小

    继面向 Python 开发人员的 Microsoft Azure 文档 https learn microsoft com en us python api azure storage blob azure storage blob mod

  • 无法将类型“System.Collections.Generic.List`1[Item]”的对象强制转换为类型“ItemList”

    出于某种原因 我的老板喜欢创建自定义类型来表示通用列表 即使在大多数情况下 他的自定义类型没有成员 我认为他只是懒惰 不喜欢输入列表或其他内容 但对我来说这是蹩脚的 并且让我对下面的问题感到非常头痛 情况要点 public class It

  • spring data jpa多重排序

    我正在使用 spring data jpa 和 JQGrid 我需要基于多个排序参数的响应 我尝试使用 sort parameter column a column b 和 sort order asc 但出现异常 pojo 中没有找到属性

  • 禁用 PDFView 上的缩放 (iOS)

    如何禁用 PDFView 的缩放功能 我已经尝试过解决方案here https stackoverflow com questions 54829190 how to disable zoom in and zoom out in pdfv

  • 为什么 object 不默认为零？

    在 Delphi 中 从 TObject 继承的变量的记录行为是默认值 nil 然而 我遇到过一种情况 情况并非如此 通过 IDE F9 运行以下代码示例会产生混合结果 var objTemp TMemDataSet begin if ob

  • 有没有办法使用 Django REST 框架中的可浏览 API 上传文件？

    我需要测试一个上传文件的 API 如何通过可浏览的 API 执行此操作 可浏览的 API 页面如下所示 有没有办法使用这个接口上传文件 views py class TrainingData APIView API for getting

  • 从图像创建视频会对某些图像格式产生黑屏视频[重复]

    这个问题在这里已经有答案了 我正在使用下面的命令从图像创建视频 该命令适用于大多数图像 但对于 png 图像 创建的视频无法播放 我只是得到黑屏 String command new String y f concat safe 0 i s

  • 找不到org.springframework.util.ClassUtils.getMethod并且无法初始化DefaultConversionService

    运行我的应用程序后 它会在控制台中显示以下错误 我研究了这个问题 但它answer https stackoverflow com questions 20851236 spring mvc http status 500 servlet

  • Django 模型管理器是否需要 using=self._db

    在使用 Django 用户模型时 我注意到模型管理器包括using self db作用于数据库时的参数 如果我只使用单个数据库 这有必要吗 什么是using self db除了指定数据库之外 还可以执行其他操作 如果添加另一个数据库 这是否

  • gdb 回溯

    我刚刚尝试过使用 gdb回溯Linux http www backtrack linux org 我必须说这太棒了 我想知道 backtrack 中的 gdb 是如何配置为这样的 当我设置断点时 会打印所有寄存器值 堆栈的一部分 数据部分的

  • 适用于 Android 的 Google 环聊 API

    您知道如何将 Google Hangout 集成到 Android 应用程序中吗 我没有看到任何当前可用的 API 使用 WebView 是一种选择吗 目前没有任何内容 我不相信 WebView 版本会起作用 因为环聊需要谷歌安装的相机插件

  • Python Fizzbuzz 循环问题

    我已经搜索了大约一个小时的答案 似乎大多数人都以与我不同的方式编码 fizzbuzz 然而 在尝试了一切方法来找出为什么这个简单的代码不起作用之后 我感到非常沮丧 谁能指出我确定遇到的简单问题 代码运行但只返回值 1 def fizzbuz

  • Android L Nexus 5 上的材料设计

    我的应用程序在 Android L 上崩溃 但在 Android Kitkat 上运行 布局上也没有 RippleDrawable 这是异常和布局 XML 布局

  • ocaml 命令行找不到“topfind”

    我已经安装了顶级 并且有 OCAML TOPLEVEL PATH 设置 export OCAML TOPLEVEL PATH Users smcho opam system lib toplevel 我检查该目录是否存在 并且有一个文件to

热门标签