Issues with RebindableSyntax

GHC seems to reject a typeable module, possibly related to RebindableSyntax and locally shadowing (>>=). See the attached files for working and nonworking versions.

Trac metadata

Trac field	Value
Version	7.0.3
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed weight to 5

added Tbug Trac import labels

Attached file MyMonad.hs ($683).

Working MyMonad.hs

Attached file Works.hs ($684).

Working Writer.hs

Attached file DoesntWork.hs ($685).

Rejected Writer.hs

Attached file DoesntWorkErrMsg.txt (download).

Rejected Writer Error Message

changed milestone to %7.6.1

Thanks for the report.

closed

Happily this is fixed in GHC 7.4 and in HEAD. I've added your test as a regression test, thank you.

Simon

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed
Test case	→ rebindable/T5821

Trac metadata

Trac field	Value
Test case	rebindable/T5821 → rebindable/T5908

mentioned in commit c823b73c

added Pnormal label