
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 21/06/13 12:23, Richard Eisenberg wrote:
-----Original Message----- From: ghc-devs-bounces@haskell.org [mailto:ghc-devs- bounces@haskell.org] On Behalf Of Mateusz Kowalczyk
This means your GHC is too old. Compile from git and try again.
I don't think that's it -- I merged with HEAD this morning.
That's most strange. Whenever I encounter this CoAxiom error, it has always just been the case of using a more recent GHC and this has been consistent across multiple boxes. In fact, I get this error with 7.6.3 (and I don't with 7.7).
Out of interest, can you post a link to the changes you made to Haddock if they are up online?
I just pushed my commit to my github fork: https://github.com/goldfirere/haddock/tree/overlapping-tyfams
The commit history may be a little mangled there (I think because I don't bother to update master on my fork), but this link shows you the changes I made today: https://github.com/goldfirere/haddock/commit/66a142f3926d3be0cf9aab97bbc24ce
bfe6b3b16
(I realize it's redundant to have a fork and then a branch within that fork, but it allows for easy integration when I do want to commit to the branch on the main repo.)
Is it redundant? I do exactly this. It's easy to merge in changes from upstream while developing on a separate branch.
Comments on the code are welcome.
Richard
- -- Mateusz K. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (GNU/Linux) iQIcBAEBAgAGBQJRxEYeAAoJEM1mucMq2pqX/+oP/1/15t4UdNJ3Zi0T0gKNu5Ay Dd+RH/B0V5Nlgsf/mbBBwMThbSWzK/LZy9vwFvLYDOJwYuJEiLkZPV6mkRTW9twE IdcpmZnjIWfMdlDrk7MFkB/GN/JaWv1NwJeRnsIGRGu7l3WJ29YUtct/K9qwhETs zuxYyNHdxYzF14sGW1w3lRhn8j6ymkr5spk9r0m99sy8dHzDpVrnCo2mOvmhcjri axvmRsVTlDT5r7A2GVNeIx1zgZv2ibFebe9OgIrRKTmR0Nf4zTlUUFQcaswzuBcJ sLjRpb3AbYE/snc3kpc6u622el2AEcWPGuhyUKCn46fA0WGNVKCW7yQ8GLY0MGXU GcIGIyx1G48uauIBvfuxi0a+0C3D500W5nwT0fmTSYBOMu3EuQPxYT5k4xRo22N7 qMPaYZX4JA9DlcCb7yR0Z7u72TPdocDI4cy0uf49zefWOet5OiFECfHjiMxVsb0r 7oa65L+LqPLerSiEo9+Qk29TJ/OfKlYkhQEs6yYzoZGtj6s4RjiKGvNzSVdzxpkS +7/j/+xpoL6IzRUVwcYArcYfIl8x7n2Kab1U2zc4jdfSmnwz7aD8vmhoZY1wjctX z3cpEzjL7MLrFfM7xgf7drNMAy5OM2vab+oQJriA9KjfQ8bQrEY0Wjv5Ecg/pvQm L5mEJ+4K8OFbPWEM2wff =5VsX -----END PGP SIGNATURE-----