Нуб хочет сделать парсер для маленького языка
Я хочу сделать синтаксический анализатор порадованным языком впускаемых выражений. Например, я хочу разобрать следующую строку:
let x = 4 in x*x
В университете мы изучаем грамматики атрибутов, и я хочу использовать эти приемы для непосредственного вычисления значения проанализированного выражения в выражении. Итак, в счастливом файле я установил тип данных функции синтаксического анализа на 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"
}
Когда я загружаю файл haskell, сгенерированный из файла happy, описанного выше, я получаю следующую ошибку:
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 Prelude.Int, но я получаю другие ошибки.
Как я могу решить? Могу ли я дать несколько общих советов, если я делаю что-то неоптимальное?
1 ответ
Смотрите счастливое объяснение атрибута type: http://www.haskell.org/happy/doc/html/sec-AtrributeGrammarsInHappy.html
Ваша линия:
%attributetype { Int }
Объявляет тип с именем Int
, Это то, что вызывает двусмысленность.