[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