[GHC] #14612: unsolved constraints, panic during compilation

#14612: unsolved constraints, panic during compilation -------------------------------------+------------------------------------- Reporter: msk | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Code: {{{#!hs import Graphics.X11.Xlib getWindowRect :: Display -> Window -> IO Rectangle getWindowRect dpy w = fmap makeRect (getWindowAttributes dpy w) }}} Error: {{{ # ghc main.hs [1 of 1] Compiling Main ( main.hs, main.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): initTc: unsolved constraints WC {wc_insol = [W] makeRect_a1LX :: t_a1LW[tau:1] (CHoleCan: makeRect) [W] getWindowAttributes_a1M2 :: t_a1M1[tau:1] (CHoleCan: getWindowAttributes)} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} Compiler: {{{ ghc --version The Glorious Glasgow Haskell Compilation System, version 8.0.2 }}} Graphics.X11.Xlib from the ArchHaskell package: {{{ haskell-x11 1.8.x0-1 }}} Frankly, I'm just following the request made by the compiler output "Please report this as a GHC bug" and have no idea what's going on. Hopefully this isn't spurious. Let me know if I can help at all. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14612 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#14612: unsolved constraints, panic during compilation -------------------------------------+------------------------------------- Reporter: msk | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): Have you tried with GHC 8.2? The `initTc` bug was one of the fixes for that release. I'm not in a good position to test this myself, unfortunately, but let us know here if that works and we can close the ticket. Thanks for reporting! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14612#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#14612: unsolved constraints, panic during compilation -------------------------------------+------------------------------------- Reporter: msk | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.2.2 Resolution: duplicate | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: #13106 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: new => closed * resolution: => duplicate * related: => #13106 Comment: Yep, this is a duplicate of #13160. Here's the (proper) error you get on GHC 8.2.2: {{{ $ /opt/ghc/8.2.2/bin/ghci Bug.hs GHCi, version 8.2.2: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci [1 of 1] Compiling Main ( Bug.hs, interpreted ) Bug.hs:4:28: error: Variable not in scope: makeRect :: a0 -> Rectangle | 4 | getWindowRect dpy w = fmap makeRect (getWindowAttributes dpy w) | ^^^^^^^^ Bug.hs:4:38: error: • Variable not in scope: getWindowAttributes :: Display -> Window -> IO a0 • Perhaps you meant ‘setLineAttributes’ (imported from Graphics.X11.Xlib) | 4 | getWindowRect dpy w = fmap makeRect (getWindowAttributes dpy w) | ^^^^^^^^^^^^^^^^^^^ }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14612#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC