[GHC] #13826: :t Predicate (length :: [] -> Int)
#13826: :t Predicate (length :: [] -> Int) --------------------------------+------------------------------------- Reporter: dpsrt | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: | Operating System: Unknown/Multiple Architecture: Other | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------+------------------------------------- {{{ Prelude> :t Predicate (length :: [] -> Int) ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-mingw32): initTc: unsolved constraints WC {wc_insol = [W] Predicate_a64B :: t_a64A[tau:3] (CHoleCan: Predicate)} }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13826 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13826: :t Predicate (length :: [] -> Int) -------------------------------------+------------------------------ Reporter: dpsrt | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Other Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #13106 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------ Changes (by RyanGlScott): * status: new => closed * resolution: => duplicate * related: => #13106 Comment: Thanks for the bug report. This is a duplicate of #13106, which has been fixed in GHC 8.2. Note that this panic is usually caused by using identifiers that aren't in-scope (in your case, `Predicate`) in just the right way. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13826#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC