camlp4

2열

1답변

내 camlp4 파서에서 deriving-ocsigen 구문 확장을 사용하는 데 문제가 있습니다. 내 파서 여기에 pa_debug.ml이 태그 파일의 호출됩니다 Warning: -pp overrides the effect of -syntax partly File "pa_debug.ml", line 103, characters 66-67: While ex

7열

1답변

OCaml을위한 -ppx 구문 확장의 상태는 어떻습니까?

OCaml 4.00에 추가 된 Alain Frisch of Lexifi over a year ago for an alternative to camlp4 for writing sytnax extensions making use of the -ppx flag의 제안이있었습니다. 그 당시에 그는 끝내야 할 일 (속성, 인용문 등)이 있었지만 이미 유용하다고 언급

0열

1답변

camlp5 IFNDEF STRICT 내가 예상 한 것과 반대입니다.

HOL Light에는 ocaml의 구문을 변경하는 일부 고문 camlp5 로직이 있습니다. ocaml 4.04 및 6.17에서 작동하도록 패치했지만 camlp5 strict mode에서만 작동합니다. STRICT가 정의되어있는 경우 내 이해의 자부합니다 value vala_map f = IFNDEF STRICT THEN fun x -> f

4열

2답변

camlp4 구문 확장, 파서 오류

은 내가 JSON 파일에서 직접 기록 값을 구축 할 수 있도록 type.yjson type_name { /* type_declaration */ } 같은 유형의 정의를 허용 구문 확장을 만들었습니다. 구문 확장 모듈과이를 수행하는 데 필요한 함수를 삽입하십시오. 여기까지 아무런 문제가 없습니다. 구문 확장은 내가 원한 것과 똑같습니다. (:

0열

1답변

Camlp4 파서 추적

Camlp4로 간단한 파서를 작성하고 있습니다. 복잡성은 정확한 구문 분석 순서에 대해 추론하는 데 어려움을 겪고 있습니다. 소비 된 토큰과 일치하는 규칙을 포함하는 구문 분석의 "추적"을 생성하는 가장 좋은 방법은 무엇입니까? 예. 다음 파서 조각 : let parse_func_call = parser | [< 'Token.Ident id; 'T

2열

1답변

Pgocaml을 사용하여 무언가를 컴파일하는 방법

Pgocaml을 응용 프로그램 내에서 데이터베이스 상호 작용에 사용하려고합니다. let() = let dbh = PGOCaml.connect() in let insert name salary email = PGSQL(dbh) "insert into employees (name, salary, email) values ($name,

6열

4답변

OCaml에서`[< >]이 무슨 뜻입니까?

나는 let rec parse_document = parser | [< len = parse_int32; st; >] -> parse_list [] (ES.take_int32 len st) | [< >] -> malformed "parse_document" 내가 내 [< >] 무엇을 알 수 있습니다 가진 일부 소스 코드를 보

3열

1답변

일반 나무와 같은 구조에서 일치를 처리하기위한 코드 생성?

저는 몇 가지 생물 정보학을위한 특수화 된 쿼드 트리를 개발 중입니다. qtree에서의 유형은 다음과 같습니다 당신은 아이디어를 얻을 let rec add_node base k qtree = let rec aux k' accum qtree' = if k' = k then match qtree' with | Nd(bse,

1열

2답변

camlp4o는 바이트 코드 실행 파일이 아닙니다 (osx의 오류)

나는 1 년 동안 사용되지 않고 git에서 4.03으로 업그레이드되었습니다 (compiled myself). 나는이 버전이 camlp4o를 포함하지 않는다는 인터넷에 대한 몇 가지 의견을 보았다. 2010 년은 ocaml을 설치하지 않았을 때부터였다. 문제는 그것 때문에 프로그램을 컴파일 할 수 없다는 것입니다. 그 파일의 하드 드라이브에 가서 난 아무 잘

0열

1답변

OCaml의 렉서/파서 규칙

내가 1 + 2와 같은 중위 식을 제공 OCaml의에서 프로그램을 작성, 접두사 표기법을 출력 like : 모든 값, 연산자 및 브래킷은 항상 적어도 하나의 공백으로 구분되어야합니다. 1+ 1은 틀린 1 + 1 ok입니다. ocamlp4 문법을 사용하고 싶지 않습니다. 여기 코드입니다 : open Genlex