[GHC] #13800: ghc panic: No skolem info: s_a7aK[sk]

[GHC]

#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/8075047381e3bcc572c2c12ccf83fd9410ee285f
 ) 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