Haskell：“不在范围：'>>'”，没有隐含的前奏曲

Question

用GHC 6.12.1编译以下Haskell程序会产生一个错误：

{-# LANGUAGE NoImplicitPrelude #-}

module Example where

import Prelude(Integer, fromInteger, (==))

f :: Integer -> Integer
f n
    | n == 0 = 0

即：

example.hs:9:6:不在范围内：`>>‘

当我将import语句更改为：

import Prelude(Integer, fromInteger, (==), (>>))

这说得通。然而，我不明白的是，为什么一开始就有一个错误。我的程序似乎没有使用任何Monad，而>>是Monad的运营商之一。

Answer 1

我不知道这个问题的根本原因，但是如果您使用-ddump-rn-trace选项编译代码，您可以看到编译器出于某种原因将(>>)放入了使用的定义列表中，如下所示：

    finish Dus [(Nothing, [(314, Integer)]),
            (Just [(rdd, f)], [(01D, >>), (01E, fromInteger), (01L, ==)]),
            (Nothing, [])]

当然，这是GHC 6.12.1中的一个bug。

Answer 2

这是ghc中的一个bug。你应该报告一下。

Answer 3

我可以想象编译器检查是否存在>> (编译do块需要它)，而不管do是否发生在代码中。(但接下来，它也应该抱怨>>=)