search

ku-fpg / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT
BSD 2-Clause "Simplified" License
49 stars 8 forks source link

HERMIT now requires GHC ≥ 7.8? #91

Closed RyanGlScott closed 10 years ago

RyanGlScott commented 10 years ago

After pulling 9c7d063775, I can no longer install HERMIT with GHC 7.6.3, for this reason:

[ 7 of 65] Compiling HERMIT.GHC       ( src/HERMIT/GHC.hs, dist/build/HERMIT/GHC.o )

src/HERMIT/GHC.hs:75:19:
    Module `LoadIface' does not export `loadPluginInterface'

src/HERMIT/GHC.hs:79:62:
    Module `Panic' does not export `throwGhcExceptionIO'

Both loadPluginInterface and throwGhcExceptionIO seem to have been introduced into LoadIface and Panic in GHC 7.8. Does this mean the version bounds for ghc need to be bumped up to 7.8 in hermit.cabal?

xich commented 10 years ago

I need to CPP some stuff I added today. I'll try to do that tonight.

Though, in general, GHC 7.8.2 is preferred now. Once the Haskell Platform moves to 7.8, we'll drop support for 7.6 in HERMIT.

xich commented 10 years ago

This is hopefully fixed in 2e3274d1069aae113102330cc24b9f4468e84c48

Please re-open if things don't work in 7.6 for you.