stack overflow in type checker

The attached program causes a stack overflow when loading into ghci-7.8.3 or ghci-7.9.20140929:

$ ghci-7.8.3 -Wall BackpermuteTypeLoop.hs
GHCi, version 7.8.3: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
[1 of 1] Compiling BackpermuteTypeLoop ( BackpermuteTypeLoop.hs, interpreted )
*** Exception: stack overflow

I have no idea, what's going on. The problem may be even not critical, because the program is not type-correct anyway. If you replace the id argument by the out-commented modify argument, you will get a nice type error message.

The problem arised when using the Accelerate framework and it involves the modify function which helps tupling function arguments and untupling function results.

Trac metadata

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