为什么这个fsyacc输入产生F＃不能编译？

Question

我的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 {浓度（$ 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 } 

Answer 1

这不是FsYacc的错。 NAME是一个无价值的标志。

你想要做这些修正：

%token NAME 到 %token <string> NAME

和

| name+ { NAME } 到 | name+ { NAME (lexeme lexbuf) }

现在一切都应该编译。