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 |