NoImplicitPrelude does not handle rec / mfix / ArrowLoop properly

Consider this program:

{-# LANGUAGE Arrows, NoImplicitPrelude #-}
module T where

import Prelude hiding ( id, (.) )

import Control.Category	( Category(..) )
import Control.Arrow

garbage =
  proc b ->
    do rec (c, d) <- undefined -< (b, d)
       returnA -< c

I think this is the new idiomatic way of writing Arrow code due to the use of Category, which clashes with the Prelude. I wish to avoid the explicit "import Prelude hiding..." stuff in all the other modules.

In GHC 6.12.3 this gives an error about mfix.

Removing NoImplicitPrelude yields an error about ArrowLoop, as expected.

Trac metadata

Trac field	Value
Version	6.12.3
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC	peteg42@gmail.com
Operating system
Architecture