Question

在FSYACC中，通常会有终端导致元组。但是，为方便起见，我想使用记录类型。例如，如果我的抽象语法树（AbstractSyntaxTree.fsl）中有以下内容：

namespace FS
module AbstractSyntaxTree =

 type B = { x : int; y : int }

 type Either = 
      | Record of B
      | Tuple of int * string

 type A =
     | Int of int
     | String of string
     | IntTuple of Either

我不清楚FSYACC（parser.fsy）中的正确语法，因为如果我使用：

%start a
%token <string> STRING
%token <System.Int32> INT
%token ATOMTOKEN TUPLETOKEN EOF
%type < A > a

%%

a:
    | atomS { $1 }
    | atomI { $1 }
    | either { $1 }

atomI:
    | ATOMTOKEN INT   { Int($2) }

atomS:
    | ATOMTOKEN STRING { String($2)  }

either:
    | TUPLETOKEN INT INT { Record {x=$2;y=$3} } // !!!
    | TUPLETOKEN TUPLETOKEN INT STRING { Tuple( $3, $4) } // !!!

我希望推断出类型B和元组。但是，FSYACC给出了标有“!!!”的两行的错误：

This expression was expected to have type  A but here has type Either

最后两行“或者”制作的正确语法是什么？

Answer 1

您不是指IntTuple($2, $3)而不是B($2, $3)吗？我试试IntTuple{x=$2; y=$3}

编辑：这有效：

module Ast

type B = { x : int; y : int }
type A =
    | Int of int
    | String of string
    | IntTuple of B

和

%{

open Ast

%}

%start a
%token <string> STRING
%token <System.Int32> INT
%token ATOMTOKEN TUPLETOKEN 
%type < Ast.A > a


%%

a:
    | atom { $1 }
    | tuple { $1 }

atom:
    | ATOMTOKEN INT   { Int($2) }
    | ATOMTOKEN STRING { String($2) }

tuple:
    | TUPLETOKEN INT INT { IntTuple {x = $2; y = $3} }

编辑2 ：请注意，%type < Ast.A > a行要求您的非终端a属于Ast.A类型。因此，由于您直接使用非终端tuple，tuple必须属于Ast.A类型。因此，您必须将记录包装在IntTuple中，因此语法为IntTuple {x = $2; y = $3}，而不仅仅是{x = $2; y = $3}。

在FSYACC中使用记录类型

1 个答案: