Haskell 不在范围内 : Type constructor or class `PushInt'

Question

我有自己的数据类型，说明:

data Commands = MoveLeft |
                MoveRight |
                MoveUp |
                MoveDown |
                IfVertical |
                IfHorizontal |
                InputChar |
                InputInt |
                OutputChar |
                OutputInt |
                OutputNewline |
                PushInt Int |
                Add |
                Sub |
                Mult |
                Div |
                Exp |
                Pop |
                Dup |
                Switch |
                Noop |
                End
                deriving (Show, Eq)

我有一个函数，我试图用它从 PushInt 中提取数字和:

extractNum :: PushInt -> Int
extractNum (PushInt n) = n

但是当我尝试运行它时，我收到一条错误消息:

Parser.hs:32:19:
    Not in scope: type constructor or class `PushInt'
    A data constructor of that name is in scope; did you mean -XDataKinds?

据我所知，我被允许使用这种方法从数据中提取一个字段。我很确定这只是一个非常简单的错误，但任何帮助表示赞赏。

Answer 1

哇，我对凌晨 2 点的错误是正确的。功能

extractNum :: PushInt -> Int
extractNum (PushInt n) = n

应该

extractNum :: Commands -> Int
extractNum (PushInt n) = n