[GHC] #10771: Installation of Ivory - Static flags have not been initialised

[GHC]

#10771: Installation of Ivory - Static flags have not been initialised
-------------------------------------+-------------------------------------
              Reporter:  stiege      |             Owner:
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:
             Component:  Compiler    |           Version:  7.10.2
              Keywords:              |  Operating System:  Unknown/Multiple
          Architecture:  x86_64      |   Type of failure:  Runtime crash
  (amd64)                            |
             Test Case:              |        Blocked By:
              Blocking:              |   Related Tickets:
Differential Revisions:              |
-------------------------------------+-------------------------------------
 Unfortunately I'm a Haskell newbie and can't provide very good detail for
 this report (I struggled to pass the Captcha!). However I will attach the
 output from a "make all" from the Ivory repository:
 https://github.com/GaloisInc/ivory.git

 Commit: '7ecea5839898b65430ca298fd1f3af4d2272e3fb'.

 Basically from what I can see, looks like it didn't work, output ends
 with:

 examples\Coroutine.hs:26:50: Warning:
     Unticked promoted constructor: `:->'.
     Use ':-> instead of `:->'.
 ghc.exe: panic! (the 'impossible' happened)
   (GHC version 7.10.2 for x86_64-unknown-mingw32):
         Static flags have not been initialised!
         Please call GHC.parseStaticFlags early enough.

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

 ghc.exe: warning: _tzset from msvcrt is linked instead of __imp__tzset

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10771>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler