[GHC] #10306: Calling reify on Any or built-in type families causes panic
#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
#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 Resolution: | 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 -------------------------------------+------------------------------------- Changes (by RyanGlScott): * cc: ryan.gl.scott@… (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10306#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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
Resolution: | 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
-------------------------------------+-------------------------------------
Comment (by Adam Gundry
#10306: Calling reify on Any or built-in type families causes panic -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: adamgundry Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: th/T10306 Blocked By: | Blocking: Related Tickets: #9840 | Differential Revisions: Phab:D841 -------------------------------------+------------------------------------- Changes (by adamgundry): * status: new => closed * testcase: => th/T10306 * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10306#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC