[GHC] #9160: Panic: Template variable unbound in rewrite rule

[GHC]

#9160: Panic: Template variable unbound in rewrite rule
-------------------------------------+-------------------------------------
              Reporter:  mietek      |            Owner:
                  Type:  bug         |           Status:  new
              Priority:  normal      |        Milestone:  7.8.3
             Component:  Compiler    |          Version:  7.8.2
            Resolution:              |         Keywords:
      Operating System:              |     Architecture:  x86_64 (amd64)
  Unknown/Multiple                   |       Difficulty:  Unknown
       Type of failure:  Compile-    |       Blocked By:
  time crash                         |  Related Tickets:  #4524
             Test Case:              |
  indexed_types/should_fail/T9160    |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by mjo):

 I should also mention that the test cases passes, i.e. fails:

 {{{
 $ ghc T9160.hs
 [1 of 1] Compiling T9160            ( T9160.hs, T9160.o )
 Loading package ghc-prim ... linking ... done.
 Loading package integer-gmp ... linking ... done.
 Loading package base ... linking ... done.
 Loading package array-0.5.0.0 ... linking ... done.
 Loading package deepseq-1.3.0.2 ... linking ... done.
 Loading package containers-0.5.5.1 ... linking ... done.
 Loading package pretty-1.1.1.1 ... linking ... done.
 Loading package template-haskell ... linking ... done.

 T9160.hs:18:8:
     Type indexes must match class instance head
     Found ‘* -> *’ but expected ‘*’
     In the type instance declaration for ‘F’
     In the instance declaration for ‘C (a :: *)’
 }}}

 Same thing happens with -O2.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9160#comment:11>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler