Haskell不在范围内：键入构造函数或类`PushInt＆＃39;

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