Почему этот ввод fsyacc создает F #, который не компилируется? - PullRequest
Новая
       35

Почему этот ввод fsyacc создает F #, который не компилируется?

2 голосов
/ 03 ноября 2011

Мой код fsyacc выдает ошибку компилятора о том, что переменная не найдена, но я не уверен почему. Я надеялся, что кто-то может указать на проблему. 

%{
open Ast
%}


// The start token becomes a parser function in the compiled code:
%start start

// These are the terminal tokens of the grammar along with the types of
// the data carried by each token:
%token NAME
%token ARROW TICK VOID
%token LPAREN RPAREN
%token EOF

// This is the type of the data produced by a successful reduction of the 'start'
// symbol:
%type < Query > start

%%

// These are the rules of the grammar along with the F# code of the 
// actions executed as rules are reduced.  In this case the actions 
// produce data using F# data construction terms.
start: Query { Terms($1) }

Query:
    | Term EOF                  { $1 }

Term: 
    | VOID                      { Void }
    | NAME                      { Conc($1) }
    | TICK NAME                 { Abst($2) }
    | LPAREN Term RPAREN        { Lmda($2) }
    | Term ARROW Term           { TermList($1, $3) }

Линия | NAME {Conc ($ 1)} и следующая строка выдают эту ошибку: 

  error FS0039: The value or constructor '_1' is not defined

Я понимаю синтаксическую проблему, но что не так с вводом yacc?

Если это поможет, вот определение Ast: 

namespace Ast
open System

type Query =
    | Terms   of Term

and Term =
    | Void
    | Conc of String
    | Abst of String
    | Lmda of Term
    | TermList of Term * Term

И вход fslex: 

{
module Lexer
open System
open Parser
open Microsoft.FSharp.Text.Lexing

let lexeme lexbuf =
    LexBuffer<char>.LexemeString lexbuf
}

// These are some regular expression definitions
let name = ['a'-'z' 'A'-'Z' '0'-'9']
let whitespace = [' ' '\t' ]
let newline = ('\n' | '\r' '\n')

rule tokenize = parse
| whitespace    { tokenize lexbuf }
| newline       { tokenize lexbuf }
// Operators
| "->"          { ARROW }
| "'"           { TICK }
| "void"        { VOID }
// Misc
| "("           { LPAREN }
| ")"           { RPAREN }
// Numberic constants
| name+                                 { NAME }
// EOF
| eof   { EOF }

1 Ответ

4 голосов
/ 03 ноября 2011

Это не вина FsYacc.NAME - это бесполезный токен.

Вы хотели бы сделать следующие исправления:

%token NAME до %token <string> NAME

и

| name+ { NAME } до | name+ { NAME (lexeme lexbuf) }

Теперь все должно скомпилироваться.

...