Haskell:“不在范围内:'>>'”没有隐含的前奏

时间:2011-03-23 08:44:00

标签: haskell ghc

使用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操作符之一。

3 个答案:

答案 0 :(得分:9)

我不知道这个问题的根本原因,但如果您使用-ddump-rn-trace选项编译代码,您可以看到编译器出于某种原因将(>>)放入定义列表中使用,类似的东西:

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

肯定是GHC 6.12.1中的一个错误

答案 1 :(得分:2)

这是ghc中的一个错误。你应该举报。

答案 2 :(得分:1)

我可以想象编译器检查是否>>存在(无论是否在您的代码中发生,它都需要编译do-blocks)。 (但是,它也应该抱怨>> =)