편집 : 내 아래의 질문은 여전히 유효하지만 난 그게 코드의 더미를 통해 선별하지 않고 대답하기 어렵다 것을 감사드립니다. 따라서 다소 유사한 질문을하기 위해 누구나 ASH를 구현하는 데 Menhir을 사용하는 예가 있습니까? 계산기와 같은 "장난감"프로젝트가 아닌 것이 좋지만 도움을 얻을 수 있으면 감사하겠습니다. 원래 질문 : 나는 선돌을 사용하여
학교 프로젝트의 일부로 .dot 파일을 인식하고 해당 구문 분석 트리를 생성해야합니다. 이를 위해, 나는 이 내 OCaml의입니다 ... ocamllex 내가 어려움을했습니다 ocamlyacc 사용해야 .mli 유형의 파일 : {
open Parser
}
rule token = parse
(* Espacements *)
| [
ocamllex와 ocamlyacc를 사용하여 인터프리터를 작성했지만 렉서와 파서가 올바르게 작동하지만 현재는 모두에 대해 반대로받은 마지막 .txt 인수 만 구문 분석합니다. 그들을 차례로. 예를 들어, ./interpret one.txt two.txt three.txt은 one.txt을 파싱하는 것에 반대하여 three.txt만을 구문 분석 한 다음 t
연관성에 문제가 있습니다. 어떤 이유로 내 = 연산자 내 :: 연산자 나는 "1 : [] = []"에 A와이있는 경우 예를 들어 그래서 ,보다 높은 우선 순위를 가지고 문자열, 나는 1 = [] : [] 를 같이 얻을 것 내 대신 표현 [1] = [] 내 문자열이 "1 : 2 : [] = []" 나는 그것을로를 구문 분석 I 생각 exp1 EQ exp2,
globalVars 및 globalFns으로 레코드를 반환해야하는 다음 파서가 있지만 나타나지 않습니다. ast.ml이 같은 프로그램을 정의 %start program
%type <Ast.program> program
%%
program:
decls EOF { $1 }
decls:
/* nothing */ { { glo
에 conflits을 줄일 나는 다음 파서 있습니다 %{
open t
open Lexer
%}
%token <int> INT
%token <float> FLOAT
%token <char> CHAR
%token <bool> BOOL
%token PLUS Menos Mult Div Bigger Smaller MINUS TIMES
특정 언어에 대한 작은 미화를 작성하고 싶습니다. 미화 도구에서는 한 줄 또는 여러 줄을 들여 쓰기 할 수 있습니다 (예 : 각 줄의 왼쪽에 흰 공백 추가). 우리는 또한 전체 코드를 형식화 할 수 있습니다 (즉, 적절한 위치에있는 흰 공백과 개행 문자를 변경). (* in main.ml *)
let f = open_in file in
let buf =
나는 다음과 같은 코드를 가지고 있는데 expr과 비슷하다. int {} | BOOL {} 등하지만 내가이 파서의 형식으로 작성해야하는 형식이 무엇인지 모르겠다. int와 함께 작동하는 계산기 예제가 있고 형식은 int이지만 내 프로그램에서는 float char 등의 문자열이 있습니다. 감사합니다. 당신이 구문 분석 할 표현이기 때문에 %{
dont kn