GLR_Lib.hs：找不到模块“系统”答案

【问题标题】：GLR_Lib.hs: Could not find module 'System'GLR_Lib.hs：找不到模块“系统”
【发布时间】：2014-03-29 20:23:57
【问题描述】：

我正在尝试从 happy 生成 GLR 解析器，但在生成文件后出现错误。

这是一个例子， ABC.y ，所以很清楚我在尝试什么：

{
module Main where
}
%name ps1 s1
%tokentype { ABC }
%error { parseError }
%token
  a { A }
  b { B }
  c { C }
%%

s1: a a a b {} | b s2 a {}
s2: b a b s2 {} | c {}
{
data ABC = A | B | C
parseError _ = error "bad"
main = getContents >>= print . ps1 . lexer
lexer ('a':xs) = A : lexer xs
ETC
}

这个例子和

配合得很好

happy ABC.y

但是，对 --glr 很满意，我无法构建结果。我想知道我是否做错了。准确地说，happy --glr 产生两个输出，ABC.hs。然而，ABCData.hs，

ghc --make ABC.hs ABCData.hs

现在失败了。我得到的错误是找不到模块'System'，它是haskell-98的隐藏成员......我尝试添加包haskell98，并得到了模棱两可的前奏问题。我还尝试将语法编码到 BNFC 中并使用他们的 -glr 选项，但我仍然遇到其他错误，例如对显然已弃用的 Data.FiniteMap 的依赖。有没有办法得到这个编译？

【问题讨论】：

我想添加一条评论。我正在自动生成 .y 文件，我很乐意使用任何 glr 解析器——即使代码生成不会产生 Haskell 代码。因此，如果有人可以推荐一个好的 glr 解析器；就像野牛 glr 方法是否完整且开发良好，我可以轻松切换到该方法。

标签： haskell happy glr

【解决方案1】：

happy --glr

工作正常——只有一件事必须在输出中手动更改。但是请注意，它不同于在典型的 _.y 文件上使用 Happy。

基本上，您必须考虑许多差异。预期的词法分析器结果的类型不同。解析器返回的类型不太可控且不同。而且您使用解析器的方式略有不同。必要的信息可以在以下位置找到： http://www.haskell.org/happy/doc/html/sec-glr-using.html 了解该网页以正确使用 glr 选项非常重要。

这里是你如何使用 Happy 和 glr 选项来生成一个独立的解析器；我们只关心解析是否成功——您可以在上面的页面上阅读更多关于解析结果以及如何解释它们的信息。我们将为上面的解析器 ABC 执行此操作。首先，创建一个名为 ABCMain.hs 的文件：

module Main where

import ABC
import ABCData

main = do
    inp <- getContents
    case happyParse (lexer inp) of
        ParseOK _ _ -> putStrLn "success"
        _ -> putStrLn " success"
lexer ('a':xs) = [A] : lexer xs
ETC -- note that it is [[Token]] instead of [Token]

ABC.y 文件很简单：

%tokentype { ABC }
%error { parseError }
%token 
    a { A }
    b { B }
    c { C }
%%
s1 : a a a b {} | b s2 a {}
s2: b a b s2 {} | c {}
{
data ABC = A | B | C deriving (Eq,Ord,Show) -- you must have Eq and Ord
parseError _ = error "bad"
}

运行

happy --glr ABC.y

生成这两个文件。现在，有一点我希望有人发表评论——基本上你必须手动更改生成的文件 ABC.hs 中的行

import System

到

import System.IO

那么，以下对我有用：

ghc --make ABCMain.hs

一切都编译好了，解析器按预期工作。如果我做得正确，请随时告诉我。

【讨论】：