[GHC] #13800: ghc panic: No skolem info: s_a7aK[sk]
#13800: ghc panic: No skolem info: s_a7aK[sk] -------------------------------------+------------------------------------- Reporter: hexo | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Project is located at: https://github.com/hacxman/clock.git Uses Ivory and Tower framerworks. Error should be introduced by code in commit SSD1306 api wrapper ( https://github.com/hacxman/clock/commit/8075047381e3bcc572c2c12ccf83fd9410ee... ) in file src/Clock/SSD1306.hs lines 32-67. When I run make blink-test, this happens: stack build . --exec 'blink-test-gen --src-dir=build/blink-test --const- fold --verbose' clock-0.1.0.0: build Preprocessing library clock-0.1.0.0... [5 of 7] Compiling Clock.SSD1306 ( src/Clock/SSD1306.hs, .stack- work/dist/x86_64-linux/Cabal-1.24.2.0/build/Clock/SSD1306.o ) /home/mzatko/src/embedded/clock/src/Clock/SSD1306.hs:241:11: error:ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): No skolem info: s_a7aK[sk] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug -- While building package clock-0.1.0.0 using: /home/mzatko/.stack/setup-exe-cache/x86_64-linux/setup-Simple- Cabal-1.24.2.0-ghc-8.0.2 --builddir=.stack- work/dist/x86_64-linux/Cabal-1.24.2.0 build lib:clock exe:blink-test-gen exe:oled-test-gen --ghc-options " -ddump-hi -ddump-to-file" Process exited with code: ExitFailure 1 Makefile:50: recipe for target 'blink-test' failed make: *** [blink-test] Error 1 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13800 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13800: ghc panic: No skolem info: s_a7aK[sk] -------------------------------------+------------------------------------- Reporter: hexo | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | 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 mpickering): I tried reproducing this but didn't get very far. The project has a lot of dependencies, please can you provide a reproduction or precise instructions to build the project which don't involve stack? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13800#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13800: ghc panic: No skolem info: s_a7aK[sk] -------------------------------------+------------------------------------- Reporter: hexo | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | 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 simonpj): There are some fixed bugs wtih this error message; e.g. #13393 Could you possibly try with 8.2? Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13800#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13800: ghc panic: No skolem info: s_a7aK[sk] -------------------------------------+------------------------------------- Reporter: hexo | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | 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 RyanGlScott): I tried to build the library with GHC 8.2, but unfortunately, I was unable to compile a dependency (`ivory-bsp-stm32`) due to a GHC 8.2 regression. See #13804. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13800#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13800: ghc panic: No skolem info: s_a7aK[sk] -------------------------------------+------------------------------------- Reporter: hexo | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | 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 RyanGlScott): * status: new => closed * resolution: => fixed Comment: OK, I was able to work around #13804 by adding `{-# LANGUAGE NoMonoLocalBinds #-}` to the appropriate file in `ivory-bsp-stm32`. I was then able to build `clock` (and run `blink-test`) without any issues on GHC 8.2. I think this is as good of a confirmation as we're going to get that the issue experienced here has been fixed, so I'll close this ticket. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13800#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC