
#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: