[isabelle-dev] GHC version for the regression tests

Florian Haftmann 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 ;-)




PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20110616/ca3a6ffe/attachment.sig>

More information about the isabelle-dev mailing list