id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
4501	RebindableSyntax does not imply NoImplicitPrelude	CoreyOConnor		"According to the documentation for `RebindableSyntax`: ""`-XRebindableSyntax` implies `-XNoImplicitPrelude.`""

I would expect using GHC with both `-XRebindableSyntax` and `-NoImplicitPrelude` to be equivalent to just using `-XRebindableSyntax`. 

However `NoImplicitPrelude` does not appear to be applied if `RebindableSyntax` is used. Furthermore, `NoImplicitPrelude` does not appear to have an effect if placed before `RebindableSyntax`.

I would expect the Test.hs program to fail to compile with:
{{{
[1 of 1] Compiling Main             ( Test.hs, Test.o )

Test.hs:4:8: Not in scope: `undefined'

Test.hs:7:5: Not in scope: `>>'

Test.hs:8:5: Not in scope: `return'
}}}

However the failure is actually:
{{{
[coconnor@toast Scratch]$ ghc --make Test
[1 of 1] Compiling Main             ( Test.hs, Test.o )

Test.hs:6:5:
    Ambiguous occurrence `fail'
    It could refer to either `Main.fail', defined at Test.hs:3:1
                          or `Prelude.fail', imported from Prelude
}}}

Placing an `NoImplicitPrelude` LANGUAGE pragma '''after''' the `RebindableSyntax` one produces the expected results.

[http://new-www.haskell.org/ghc/docs/7.0.1/html/users_guide/syntax-extns.html#rebindable-syntax RebindableSyntax documentation]
"	bug	closed	normal		Compiler	7.0.1	fixed			Unknown/Multiple	Unknown/Multiple	None/Unknown