noob希望为一种小型语言制作一个解析器

Question

我想用happy for the let in表达式语言制作一个解析器。例如，我想要解析以下字符串：

let x = 4 in x*x

在大学里，我们学习属性语法，我想用这个技巧直接计算解析后的let表达式的值。因此，在happy文件中，我将解析函数的数据类型设置为Int，并创建了一个名为env的新属性。该属性是一个从String到Int的函数，它将变量名称与值相关联。参考我的例子：

env "x" = 4

现在我把这里放在快乐文件下面，那里有我的语法：

{
module Parser where
import Token
import Lexer
}
%tokentype { Token }
%token 
      let             { TLet }
      in              { TIn }
      int             { TInt $$ }
      var             { TVar $$ }
      '='             { TEq }
      '+'             { TPlus }
      '-'             { TMinus }
      '*'             { TMul }
      '/'             { TDiv }
      '('             { TOB }
      ')'             { TCB }
%name parse
%attributetype { Int }
%attribute env { String -> Int }
%error { parseError }
%%
Exp   : let var '=' Exp in Exp
            {
                $4.env = $$.env;
                $2.env = (_ -> 0);
                $6.env = (str -> if str == $2 then $4 else 0);
                $$ = $6;
            }
      | Exp1                    
            {
                $1.env = $$.env;
                $$ = $1;
            }
Exp1  : Exp1 '+' Term
            {
                $1.env = $$.env;
                $2.env = $$.env;
                $$ = $1 + $3;
            }
      | Exp1 '-' Term
            {
                $1.env = $$.env;
                $2.env = $$.env;
                $$ = $1 - $3;
            }
      | Term 
            {
                $1.env = $$.env;
                $$ = $1;
            }
Term  : Term '*' Factor
            {
                $1.env = $$.env;
                $2.env = $$.env;
                $$ = $1 * $3;
            }
      | Term '/' Factor
            {
                $1.env = $$.env;
                $2.env = $$.env;
                $$ = div $1 $3;
            }
      | Factor
            {
                $1.env = $$.env;
                $$ = $1;
            }
Factor            
      : int
            {
                $$ = $1;
            }
      | var
            {
                $$ = $$.env $1;
            }
      | '(' Exp ')'
            {
                $1.env = $$.env;
                $$ = $1;
            }
{
parseError :: [Token] -> a
parseError _ = error "Parse error"
}

当我加载从上面的happy文件生成的haskell文件时，我得到以下错误：

    Ambiguous occurrence `Int'
It could refer to either `Parser.Int', defined at parser.hs:271:6
                      or `Prelude.Int',
                         imported from `Prelude' at parser.hs:2:8-13
                         (and originally defined in `GHC.Types')

我不知道我为什么会得到这个，因为我没有在我的快乐文件中定义Parser.Int类型。我试着用前奏曲Int代替Int，但我有其他错误。

我该如何解决？如果我正在做一些不理想的事情，我能提供一些一般提示吗？

Answer 1

查看attributetype的快乐解释：http://www.haskell.org/happy/doc/html/sec-AtrributeGrammarsInHappy.html

您的线路：

%attributetype { Int }

正在声明一个名为Int的类型。这就是造成歧义的原因。