<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-GB link="#0563C1" vlink="#954F72"><div class=WordSection1><p class=MsoNormal>Hi all,<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>I’ve implemented the proposal at <a href="http://hackage.haskell.org/trac/ghc/wiki/NewAxioms/Nonlinearity">http://hackage.haskell.org/trac/ghc/wiki/NewAxioms/Nonlinearity</a>, which involved a few changes to HsDecl datatypes (FamilyDecl, TyFamInstDecl, etc.), thus requiring a change to Haddock. I tried to be as minimal as I could there, but prudence tells me I should run the haddock test suite. How do I do so? The instructions seem to say I should just `cabal test`, but that requires `cabal build`, which fails, seemingly because of import path issues:<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>cam-05-unx:10:59:54 /5playpen/eir/ghc/head/utils/haddock> cabal build<o:p></o:p></p><p class=MsoNormal>Building haddock-2.13.2...<o:p></o:p></p><p class=MsoNormal>Preprocessing library haddock-2.13.2...<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>src/Haddock/Convert.hs:29:8:<o:p></o:p></p><p class=MsoNormal> Could not find module `CoAxiom'<o:p></o:p></p><p class=MsoNormal> Use -v to see a list of the files searched for.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Any advice?<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Separately, I see that Haddock does not generate any output for type family instances. I’d be happy to bring someone up to speed about the new type families and such so that this gap could be closed.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Thanks!<o:p></o:p></p><p class=MsoNormal>Richard<o:p></o:p></p></div></body></html>