哈斯克尔杯文件的语法

我正在使用JLex和cup编写用java编写的haskell编译器.i完成了我的词法分析器文件,现在我正在处理我的parser.cup文件,在那里我应该定义我的终端,非终端和语法。 我已经完成了终端和非终端部分,但现在我陷入了语法部分,因此任何人都可以帮助或重定向到任何链接,我可以在这种形式中找到haskell的语法:

Variable ::= Nonterminal:name Terminal:name 
{:RESULT = /* code to execute when the rule is 
matched and the result to be printed out */ ;:} 
| blablabla ;

任何帮助,将不胜感激 。

链接地址: http://www.djcxy.com/p/80805.html

上一篇: haskell grammar for cup file

下一篇: typed lambda calculus in Haskell using recursive types