我正在使用 JLex 和 cup 编写用 java 编写的 haskell 编译器。我完成了我的词法分析器文件，现在我正在处理我的 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 ;
任何帮助，将不胜感激 。