[GHC] #10306: Calling reify on Any or built-in type families causes panic

GHC ghc-devs at haskell.org
Wed Apr 15 12:14:04 UTC 2015


#10306: Calling reify on Any or built-in type families causes panic
-------------------------------------+-------------------------------------
              Reporter:  adamgundry  |             Owner:  adamgundry
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:
             Component:  Compiler    |           Version:  7.10.1
              Keywords:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  Compile-time
  Unknown/Multiple                   |  crash
             Test Case:              |        Blocked By:
              Blocking:              |   Related Tickets:  #9840
Differential Revisions:  Phab:D841   |
-------------------------------------+-------------------------------------
 Both `reify ''Any` and `reify ''(+)` (where `(+)` is the built-in
 operation on type-level naturals) result in a panic
 `TcSplice.reifyFamFlavour: not a type family`. I came across this while
 working on #9840 and have a fix as part of Phab:D841.

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


More information about the ghc-tickets mailing list