[isabelle-dev] GHC version for the regression tests

[Florian Haftmann]

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

	Florian

-- 

Home:
http://www.in.tum.de/~haftmann

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- 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>