OCaml 빌드에 문제가 있습니다. 그것은 libasmrun.a와 함께 문제가 될 것으로 보이지만 오류는 매우 이상합니다 (적어도 저에게는). 아무도 나에게 무슨 문제가 있다고 말할 수 있습니까? OCaml 4.04.0을 빌드하려고합니다. , GCC 버전 일반적으로 4.7.2 roots.c: In function ‘caml_oldify_local_roots
두 개의 변경 가능한 목록을 입력으로 사용하고 출력에 두 번째 목록에 첫 번째 목록을 역순으로 추가하는 함수를 작성해야합니다. 유형 정의는 다음과 같습니다 type 'a mylist = 'a listcell ref
and 'a listcell = Nil | Cons of 'a * ('a mylist)
나는 정기적으로 목록을 되돌릴하지만 파괴적으
나는 Frama-C 플러그인을 작성 중이며, 내 플러그인 내에서 WP를 사용하여 가장 약한 전제 조건을 얻는 것이 가능한지 알고 싶습니다. 그렇다면 정확히 어떻게 사용합니까? 과거에는 Db.Value를 사용하여 예를 들어 자체 플러그인에서 EVA 플러그인의 결과를 사용했습니다. WP와 비슷한 Db.Value가 있습니까?
jbuild 사양을 정의 할 때 특정 OCaml 버전을 어떻게 요구합니까? (jbuild_version 1)
(library
((name myjson)
(public_name myjson)
(synopsis "My version of json")
(libraries (yojson))))
하지만 내가 OCaml의 < 4.0
이 모듈의 서명으로 마스크 된이 모듈의 변수에 의존하는 모듈의 일부 기능에 이상한 동작을 이해하려고합니다. 프로그램의 일부 지점에서이 변수를 인쇄하고 싶지만 마스크가되어 있으므로 액세스하는 방법을 알지 못합니다. 또한이 모듈은 직접 수정하고 다시 컴파일하지 않으려는 커다란 프로젝트의 일부입니다. 디버깅을 위해이 변수에 액세스 할 수 있습니까? 일시적으로 더
ocaml을 배우려고하는데 함수 작성 연산자 인 |>에 문제가 있습니다. utop # #require "core";;
utop # open Core;;
utop # Option.value_exn(Some(1));;
- : int = 1
utop # Some(1) |> Option.value_exn;;
Error: This expression has
globalVars 및 globalFns으로 레코드를 반환해야하는 다음 파서가 있지만 나타나지 않습니다. ast.ml이 같은 프로그램을 정의 %start program
%type <Ast.program> program
%%
program:
decls EOF { $1 }
decls:
/* nothing */ { { glo
하나의 모듈에서 다른 모듈을 사용하려고하는데 문제가 있습니다. 그러나 서명 불일치가 있다고 말하는 오류가 발생하며 이유가 확실하지 않습니다. . 나는이 일을 제대로하고 있다고 확신했다. 여기에 몇 가지 코드입니다 : 그래서 힙 단지 힙에 간단한 작업을 할 수 있지만, 어떤 이유로 OCaml의 힙에 대한 서명이 항목에 대한 기능을 포함하도록되어 있다고 생각