Windows에서 cygwin 64 터미널을 사용하고이 ocaml 그래픽 코드를 컴파일하려고합니다. 그것은 .ml 형식으로 저장되는 : 내가 사이에 혼란 스러워요 let etat x y c=draw_circle x y 10 ;let a=(x-5) and b=(y-5) in moveto a b ;let s=string_of_int c in draw_strin
간단한 경우 - 당시 다른 있지만, 어떻게 든 두 번째 줄에 구문 오류가 있습니다. let rec gcd m n =
if m > n then begin let a = n in; let b = m in end
else begin let a = m in; let b = n in end
무엇이 문제이며 어떻게 해결할 수 있습니까?
나는 내 AST를 가져 와서 OCaml AST를 출력하는 컴파일러를 작성하고있다. 때 컴파일 : (List.length '(1 2 3))
List.length [1; 2; 3]
에 나는 다음과 같은 출력 AST 얻을 : 검사시 [
structure_item (_none_[1,0+-1]..[1,0+-1]) ghost
Pstr_eval
Eliom을 사용하고 OUnit을 사용하여 단위 테스트를위한 컴파일 프로세스를 설정하는 데 문제가있는 새 프로젝트를 빌드 중입니다. 내가 ocsigenserver를 사용하지 않고 Js_Client_Code.eliom에 단위 테스트를 실행할 수 있도록 나는이 방법으로 파일을 설정 한 Js_Client_Code.eliom - contains all of the
저는 Python 어플리케이션을 통해 Frama-c를 사용하려고합니다. 이 python 응용 프로그램은 일부 env 변수와 시스템 경로를 설정합니다. 이 응용 프로그램에서, 나는 다음과 같은 파이썬 프로세스로 FRAMA-C를 호출 오전 :이 코드 나는 다음과 같은 오류가 무엇입니까 파이썬 응용 프로그램에서 실행되는 cmd = ['/usr/local/bin/
두리스트의 합계의리스트를 재귀 적으로 만들고 싶습니다. let rec listadd a b
match a with
| [] -> b
| hd::tl ->
(match b with
| hd2::tl2 -> [hd + hd2]@(list_add tl tl2)
| [] -> [hd + hd2]@(list_add tl tl2)
)
그러나 오
일부 OCaml 값의 내부 표현을 살펴 보았습니다. 빈 배열의 표현은 atom(0)이고, 즉 tag=0 및 size=0 인 블록입니다. 부동 소수점 배열은 atom(0)으로 표시됩니다. 원자가 나타내는 OCaml 값은 tag > 0입니까? 그렇지 않은 경우 : OCaml 바이트 코드 세트에 어떤 목적으로 ATOM n 명령어가 포함되어 있습니까?
이것은 내가 큐를 반대하기 위해 노력하고있어 type 'a dqnode = {
v: 'a;
mutable next: 'a dqnode option;
mutable prev: 'a dqnode option;
}
type 'a deque = {
mutable head: 'a dqnode option;
mutable tail: 'a dqnode