#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