Question

我是ML的绿色人，现在只学习ocaml就可以用它构建我的编译器。生成Lexer和Parser不会出现任何问题。但是，这是由ocamlmktop构建编译器代码时发生的。
该错误消息类似于以下内容，但是二进制文件myc.top已完成并且可以运行。

请帮助我解决错误消息，非常感谢您的支持。

$ ocamlyacc parser.mly
$ ocamllex lexer.mll
24 states, 1124 transitions, table size 4640 bytes
$ ocamlmktop syntax.ml parser.mli parser.ml lexer.ml -o myc.top
File "parser.cmo", line 1:
Error (warning 31): files parser.cmo and /usr/local/lib/ocaml/compiler-libs/ocamlcommon.cma(Parser) both define a module named Parser
File "lexer.cmo", line 1:
Error (warning 31): files lexer.cmo and /usr/local/lib/ocaml/compiler-libs/ocamlcommon.cma(Lexer) both define a module named Lexer

1.lexer文件lexer.mll

{
open Parser
}

let space = [' ' '\t' '\n' '\r']
let digit = ['0'-'9']
let alpha = ['A'-'Z' 'a'-'z' '_']

rule token = parse
| "while"
    { WHILE }
| "print"
    { PRINT }
| alpha (digit|alpha)*
    (* reserve key word *)
    { VAR(Lexing.lexeme lexbuf) }
| '-'? digit+
    { CONST(int_of_string (Lexing.lexeme lexbuf)) }
| space+
    (* skip spaces *)
    { token lexbuf }
| '='
    { EQUAL }
| '+'
    { PLUS }
| '('
    { LPAREN }
| ')'
    { RPAREN }
| '>'
    { GREATER }
| '{'
    { LBRACE }
| '}'
    { RBRACE }
| ';'
    { SEMICOLON }
| _
    (* other case: error heppen *)
    { failwith
        (Printf.sprintf
           "unknown token %s near characters %d-%d"
           (Lexing.lexeme lexbuf)
           (Lexing.lexeme_start lexbuf)
           (Lexing.lexeme_end lexbuf)) }

2解析器文件Parser.mly

%{
open Syntax
%}

%token <string> VAR /* variable */
%token <int> CONST  /* integer */
%token EQUAL        /* = */
%token PLUS         /* - */
%token WHILE        /* keyword「while」 */
%token LPAREN       /* ( */
%token RPAREN       /* ) */
%token GREATER      /* > */
%token LBRACE       /* { */
%token RBRACE       /* } */
%token SEMICOLON    /* ; */
%token PRINT        /* keyword「print」 */

%type <Syntax.statement> statement
%start statement

%%

statement: /* start */
| VAR EQUAL CONST
    { Const($1, $3) }
| VAR EQUAL VAR PLUS VAR
    { Add($1, $3, $5) }
| WHILE LPAREN VAR GREATER VAR RPAREN statement
    { While($3, $5, $7) }
| LBRACE statement_list RBRACE
    { Seq($2) }
| PRINT VAR
    { Print($2) }
| error /* other cases, error happens */
    { failwith
        (Printf.sprintf
           "parse error near characters %d-%d"
           (Parsing.symbol_start ())
           (Parsing.symbol_end ())) }

statement_list: /* start */
| statement SEMICOLON statement_list
    /* one by one */
    { $1 :: $3 }
| /* 空列 */
    { [] } /* nil return */

3。文件语法。ml

type var = string (* variable *)

type statement = (* statement *)
  | Const of var * int
      (* x = i *)
  | Add of var * var * var
      (* x = y + z *)
  | While of var * var * statement
      (* while (x > y) *)
  | Seq of statement list
      (* { s1; s2; …; sn } *)
  | Print of var
      (* print x *)

Answer 1

OCaml标准库中已经有名为Lexer和Parser的模块。当您尝试构建顶级可执行文件时，这些与您的模块名称冲突。

一种使事情起作用的方法是将模块重命名为其他名称。

>>> num = Decimal('1.4300')
>>> str(num).strip('0').endswith('.43')
True

ocamlmktop错误：两者都定义了一个名为Parser的模块；都定义了一个名为Lexer的模块；

请帮助我解决错误消息，非常感谢您的支持。

1 个答案: