[GHC] #13416: Unsolved Constraints (initTc)
#13416: Unsolved Constraints (initTc) -------------------------------------+------------------------------------- Reporter: sgschlesinger | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: constraint | 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: -------------------------------------+------------------------------------- Another bug here: ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): initTc: unsolved constraints WC {wc_insol = [W] nub_a1U2 :: t_a1U1[tau:1] (CHoleCan: nub)} I've attached the relevant code. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13416 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13416: Unsolved Constraints (initTc) -------------------------------------+------------------------------------- Reporter: sgschlesinger | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: | Keywords: constraint 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: | -------------------------------------+------------------------------------- Changes (by sgschlesinger): * Attachment "Maths.hs" added. Maths.hs -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13416 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13416: Unsolved Constraints (initTc) -------------------------------------+------------------------------------- Reporter: sgschlesinger | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: | Keywords: constraint 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 j.waldmann): with 8.0.1, the message is {{{ GHCi, version 8.0.1: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( Downloads/Maths.hs, interpreted ) Downloads/Maths.hs:33:22: error: Variable not in scope: nub :: [Integer] -> [Integer] }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13416#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13416: Unsolved Constraints (initTc) -------------------------------------+------------------------------------- Reporter: sgschlesinger | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: duplicate | Keywords: constraint 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: Thanks for the bug report. This is a duplicate of #13106, which has been fixed in GHC HEAD (and will be shipped with GHC 8.2). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13416#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC