[isabelle-dev] GHC version for the regression tests
florian.haftmann at informatik.tu-muenchen.de
Thu Jun 16 15:34:23 CEST 2011
> 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.
No objections. Just remember to update the requirements in the
Haskabelle documentation accordingly.
The reason for the previously compiled version of GHC was that this is
what Ubunutu LTS offered at that time ;-)
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 262 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev