[GHC] #13106: impossible happened: initTc: unsolved constraints
#13106: impossible happened: initTc: unsolved constraints -------------------------------------+------------------------------------- Reporter: codygman | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: initTc | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- 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). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13106 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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
#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: | -------------------------------------+------------------------------------- Comment (by simonpj): Probably a dup of #12921 (which I have not yet examined). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13106#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): A minimal reproducible test case is: {{{#!hs {-# LANGUAGE TemplateHaskell #-} module Main (main) where main :: IO () main = do cp minimal-frames-lookup-map.ps minimal-frames-lookup-map_hd.ps cp minimal-frames-lookup-map.ps minimal-frames-lookup-map_hy.ps }}} Or even more minimally: {{{#!hs {-# LANGUAGE TemplateHaskell #-} module Main (main) where main :: IO () main = do cp cp }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13106#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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: #12921 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * related: => #12921 Comment: Like #12921, this only happens on GHC 8.0.2 and HEAD, not on GHC 8.0.1. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13106#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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: #12921 | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Simon Peyton Jones
#13106: impossible happened: initTc: unsolved constraints -------------------------------------+------------------------------------- Reporter: codygman | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: fixed | Keywords: initTc Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #12921 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13106#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC