[isabelle-dev] GHC version for the regression tests

[Lars Noschinski]

Hi,

due to an OS update of macbroy machines, the currently installed version 
of GHC does not work anymore (linked against old libraries), which 
prevents Haskabelle and (since a few days) Isabelle test runs.

Instead of recompiling GHC, I thought about installing a current GHC 
(7.0.3 or .4). Is anyone opposed to doing that? As far as I understood 
Lukas, his code should not care and Haskabelle also seems to work fine 
with a current GHC.

   -- Lars