#9036: ghc: panic! Binder's type (SingI Symbol <a String>) /= RHS type (String) -------------------------------------------------+------------------------- Reporter: ntc2 | Owner: Type: bug | Status: Priority: normal | closed Component: Compiler | Milestone: Resolution: fixed | Version: 7.6.3 Operating System: Linux | Keywords: Type of failure: Compile-time crash | GHC.TypeLits Test Case: | Architecture: x86 indexed_types/should_compile/T9036 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by simonpj): * testcase: => indexed_types/should_compile/T9036 Comment: Great. I've added the small example as a regression test, just in case. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9036#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler