#13106: impossible happened: initTc: unsolved constraints -------------------------------------+------------------------------------- Reporter: codygman | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: initTc Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Description changed by codygman: @@ -5,0 +5,2 @@ + + {{{ @@ -17,0 +19,2 @@ + }}} + @@ -24,0 +28,3 @@ + + GHC Head is still compiling for me, but maybe I'll be able to try to + reproduce this with HEAD tomorrow. New description: Below is the error: I got the following error: {{{ ghc: panic! (the 'impossible' happened) (GHC version 8.0.1.20161213 for x86_64-unknown-linux): initTc: unsolved constraints WC {wc_insol = [W] cp_a6SB :: t_a6SA[tau:1] (CHoleCan: cp) [W] minimal_a6SI :: t_a6SH[tau:1] (CHoleCan: minimal) [W] frames_a6SL :: t_a6SK[tau:1] (CHoleCan: frames) [W] ps_a6Tb :: t_a6Ta[tau:1] (CHoleCan: ps) [W] minimal_a6Ti :: t_a6Th[tau:1] (CHoleCan: minimal) [W] frames_a6Tm :: t_a6Tl[tau:1] (CHoleCan: frames) [W] map_hd_a6Tv :: t_a6Tu[tau:1] (CHoleCan: map_hd) [W] ps_a6Ty :: t_a6Tx[tau:1] (CHoleCan: ps)} }}} It was created with this repo: https://github.com/codygman/minimal-frames- lookup-map/blob/master/src/Main.hs Apologies for the setup needed, but I also had to download judy-0.3.0 manually and then include it for it to build (not sure why, but unrelated problem I think). GHC Head is still compiling for me, but maybe I'll be able to try to reproduce this with HEAD tomorrow. -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13106#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler