快樂生成的Haskell源出現錯誤“輸入'數據'上的解析錯誤”

Question

我正在嘗試Haskell的快樂解析器生成器。 在happy.hs中生成模塊后（生成時沒有問題！），我運行命令ghc happy.hs ，並得到以下錯誤： Line 297: parse error on input 'data' 。 有人有解決方案嗎？ 或告訴我在哪里可以找到解決方案？

我嘗試將模塊加載到GHCi中，而不是使用ghc進行編譯。 但這似乎也不起作用-我收到相同的錯誤。

happy.y中的代碼（happy源）：

-- TODO: add more of my things!!!

{
    module Main where
}
%name calc
%tokentype { Token }
%error { parseError }
-- tokens
%token
    let { TokenLet }
    in { TokenIn }
    int { TokenInt $$ }
    var { TokenVar $$ }
    '=' { TokenEq }
    '+' { TokenPlus }
    '-' { TokenSub }
    '*' { TokenMul }
    '/' { TokenDvd }
    '(' { TokenOB }
    ')' { TokenCB }
%%
Exp : let var '=' Exp in Exp { Let $2 $4 $6 }
    | Exp1 { Exp1 $1 }
Exp1 : Exp1 '+' Term { Plus $1 $3 }
    | Exp1 '-' Term { Minus $1 $3 }
    | Term { Term $1 }
Term : Term '*' Factor { Times $1 $3 }
    | Term '/' Factor { Div $1 $3 }
    | Factor { Factor $1 }
Factor : int { Int $1 }
    | var { Var $1 }
    | '(' Exp ')' { Brack $2 }

{
    parseError :: [Token] -> a
    parseError _ = error "Parse error! please try again..."

    data Exp = Let String Exp Exp
        | Exp1 Exp1
    deriving Show

    data Exp1 = Plus Exp1 Term
        | Minus Exp1 Term
        | Term Term
    deriving Show

    data Term = Times Term Factor
        | Div Term Factor
        | Factor Factor
    deriving Show

    data Factor = Int Int
        | Var String
        | Brack Exp
    deriving Show

    -- the tokens 
    data Token = TokenLet
        | TokenIn
        | TokenInt Int
        | TokenVar String
        | TokenEq
        | TokenPlus
        | TokenMinus
        | TokenTimes
        | TokenDiv
        | TokenOB
        | TokenCB
        deriving Show

    -- the lexer
    lexer :: String -> [Token]
    lexer [] = []
    lexer (c:cs)
        | isSpace c = lexer cs
        | isAlpha c = lexVar (c:cs)
        | isDigit c = lexNum (c:cs)
    lexer ('=':cs) = TokenEq : lexer cs
    lexer ('+':cs) = TokenPlus : lexer cs
    lexer ('-':cs) = TokenMinus : lexer cs
    lexer ('*':cs) = TokenTimes : lexer cs
    lexer ('/':cs) = TokenDiv : lexer cs
    lexer ('(':cs) = TokenOB : lexer cs
    lexer (')':cs) = TokenCB : lexer cs
    lexNum cs = TokenInt (read num) : lexer rest
    where (num,rest) = span isDigit cs
    lexVar cs =
        case span isAlpha cs of
        ("let",rest) -> TokenLet : lexer rest
        ("in",rest) -> TokenIn : lexer rest
        (var,rest) -> TokenVar var : lexer rest

    -- the main function
    main = getContents >>= print . calc . lexer
}

在happy.hs和±10行中出錯的行（行287〜307，包括）：

287: calc tks = happyRunIdentity happySomeParser where
288:  happySomeParser = happyThen (happyParse action_0 tks) (\x -> case x of 289: {HappyAbsSyn4 z -> happyReturn z; _other -> notHappyAtAll })
290: 
291: happySeq = happyDontSeq
292:
293:
294: parseError :: [Token] -> a
295:    parseError _ = error "Parse error! please try again..."
296:
297:    data Exp = Let String Exp Exp       -- <= I get error on this line!
298:       | Exp1 Exp1
299:    deriving Show
300:
301:    data Exp1 = Plus Exp1 Term
302:        | Minus Exp1 Term
303:        | Term Term
304:    deriving Show
305:
306:    data Term = Times Term Factor
307:        | Div Term Factor

我希望程序可以順利運行，沒有任何錯誤，但是事實並非如此。

Answer 1

Happy在文件的第1列上生成其生成的代碼。 因此，要使您的代碼被視為同一module一部分-塊與生成的代碼（您無法控制）在同一module where ，則它也必須位於文件的第1列中。

在您的快樂文件中，從純Haskell代碼行的開頭刪除四個空格，您將繼續下一個錯誤。 在刪除空格時，請確保deriving子句和where子句從其周圍縮進一層。