[GHC] #13826: :t Predicate (length :: [] -> Int)
GHC
ghc-devs at haskell.org
Wed Jun 14 20:10:36 UTC 2017
#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
More information about the ghc-tickets
mailing list