#13466: Ghci panics with type applications to unknown functions -------------------------------------+------------------------------------- Reporter: aspiwack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.0.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I haven't investigated further, but I stumbled upon the following: {{{ Prelude> :set -XTypeApplications Prelude> :t nonexistant @[] ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): initTc: unsolved constraints WC {wc_insol = [W] nonexistant_a2YB :: t_a2YA[tau:3] (CHoleCan: nonexistant)} }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13466 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler