<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Hi Richard, thanks for your questions! I'll answer them below:<br>
<br>
> […] and I somehow know (though I forget where I learned it)<br>
<br>
You can find a summary of the available linting (with HLint)
Hadrian rules here:
<a class="moz-txt-link-freetext" href="https://gitlab.haskell.org/ghc/ghc/-/wikis/contributing#working-conventions">https://gitlab.haskell.org/ghc/ghc/-/wikis/contributing#working-conventions</a><br>
<br>
> I introduced one of these errors, in GHC.Tc.Utils.Unify; the
other errors are in files I have not modified. Will these affect
CI?<br>
<br>
How old is your latest sync with upstream/master? Maybe these
lints have been corrected after your last pull?<br>
<br>
> Hadrian crashes at the end. Is that expected? It says "system
command failed" with a bunch of gobbledegook. Is this an error
within Hadrian?<br>
<br>
It's Hadrian's way to exit with a non-0 code and give us some info
about what went wrong<br>
</p>
<p>> Are these colors configurable?<br>
<br>
Not to my knowledge. Until NO_COLOR or more colour schemes are
implemented in HLint, you can use this (sad) workaround:<br>
<br>
```<br>
TERM=dumb hadrian/build -j lint:compiler<br>
```<br>
which remove all the colours from the output. <br>
<br>
<br>
Hope this helps, sorry for the confusion.<br>
<br>
Cheers,</p>
<p>Hécate<br>
</p>
<div class="moz-cite-prefix">Le 30/04/2021 à 22:12, Richard
Eisenberg a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:010f017924695d1f-ff64315f-b708-4cb9-b851-aa7c13f588ee-000000@us-east-2.amazonses.com">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
Hi devs,
<div class=""><br class="">
</div>
<div class="">I see in CI that we're now linting the GHC source
code. In order to avoid CI failure, I would like to lint
locally, and I somehow know (though I forget where I learned it)
that hadrian/build lint:compiler is the way to do this. After
building hlint, I am able to do this. But the output is
surprising; here is the tail:</div>
<div class=""><br class="">
</div>
<div class="">
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(82, 48, 225); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"># hlint (for lint:compiler)</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/GHC/Tc/Utils/Unify.hs:2:1-36:
Warning: Unused LANGUAGE pragma</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(34, 18, 106); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(244, 244, 244);"> </span><span class=""
style="font-variant-ligatures: no-common-ligatures;">{-#
LANGUAGE MultiWayIf #-}</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps you should remove it.</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/stage1/build/GHC/Parser.hs:6:1-29:
Warning: Unused LANGUAGE pragma</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(34, 18, 106); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(244, 244, 244);"> </span><span class=""
style="font-variant-ligatures: no-common-ligatures;">{-#
LANGUAGE ViewPatterns #-}</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps you should remove it.</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/stage1/build/GHC/Parser.hs:8:1-27:
Warning: Unused LANGUAGE pragma</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(34, 18, 106); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(244, 244, 244);"> </span><span class=""
style="font-variant-ligatures: no-common-ligatures;">{-#
LANGUAGE LambdaCase #-}</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps you should remove it.</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/stage1/build/GHC/Parser.hs:38:1-54:
Warning: Use fewer imports</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> Control.Monad </span><span class=""
style="font-variant-ligatures: no-common-ligatures; color:
rgb(52, 187, 200);">(</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> unless</span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">,</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> liftM</span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">,</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> when</span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">,</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> </span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">(<=<)</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> </span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">)</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> Control.Monad </span><span class=""
style="font-variant-ligatures: no-common-ligatures; color:
rgb(52, 187, 200);">(</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> ap </span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">)</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> Control.Monad </span><span class=""
style="font-variant-ligatures: no-common-ligatures; color:
rgb(52, 187, 200);">(</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> unless</span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">,</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> liftM</span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">,</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> when</span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">,</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> </span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">(<=<),</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> ap </span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">)</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/stage1/build/GHC/Parser.hs:43:1-18:
Warning: Use fewer imports</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> GHC.Prelude</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> GHC.Prelude</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> GHC.Prelude</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/stage1/build/GHC/Cmm/Parser.hs:17:1-24:
Warning: Use fewer imports</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> GHC.StgToCmm.Prof</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> GHC.StgToCmm.Prof</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> GHC.StgToCmm.Prof</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/stage1/build/GHC/Cmm/Parser.hs:71:1-20:
Warning: Use fewer imports</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> Control.Monad</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> Control.Monad </span><span class=""
style="font-variant-ligatures: no-common-ligatures; color:
rgb(52, 187, 200);">(</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> ap </span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">)</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> Control.Monad</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/stage2/build/GHC/Parser.hs:6:1-29:
Warning: Unused LANGUAGE pragma</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(34, 18, 106); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(244, 244, 244);"> </span><span class=""
style="font-variant-ligatures: no-common-ligatures;">{-#
LANGUAGE ViewPatterns #-}</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps you should remove it.</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/stage2/build/GHC/Parser.hs:8:1-27:
Warning: Unused LANGUAGE pragma</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(34, 18, 106); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(244, 244, 244);"> </span><span class=""
style="font-variant-ligatures: no-common-ligatures;">{-#
LANGUAGE LambdaCase #-}</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps you should remove it.</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/stage2/build/GHC/Parser.hs:38:1-54:
Warning: Use fewer imports</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> Control.Monad </span><span class=""
style="font-variant-ligatures: no-common-ligatures; color:
rgb(52, 187, 200);">(</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> unless</span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">,</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> liftM</span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">,</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> when</span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">,</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> </span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">(<=<)</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> </span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">)</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> Control.Monad </span><span class=""
style="font-variant-ligatures: no-common-ligatures; color:
rgb(52, 187, 200);">(</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> ap </span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">)</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> Control.Monad </span><span class=""
style="font-variant-ligatures: no-common-ligatures; color:
rgb(52, 187, 200);">(</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> unless</span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">,</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> liftM</span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">,</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> when</span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">,</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> </span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">(<=<),</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> ap </span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">)</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/stage2/build/GHC/Parser.hs:43:1-18:
Warning: Use fewer imports</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> GHC.Prelude</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> GHC.Prelude</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> GHC.Prelude</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/stage2/build/GHC/Cmm/Parser.hs:17:1-24:
Warning: Use fewer imports</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> GHC.StgToCmm.Prof</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> GHC.StgToCmm.Prof</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> GHC.StgToCmm.Prof</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">compiler/stage2/build/GHC/Cmm/Parser.hs:71:1-20:
Warning: Use fewer imports</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Found:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> Control.Monad</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> Control.Monad </span><span class=""
style="font-variant-ligatures: no-common-ligatures; color:
rgb(52, 187, 200);">(</span><span class=""
style="font-variant-ligatures: no-common-ligatures;"> ap </span><span
class="" style="font-variant-ligatures: no-common-ligatures;
color: rgb(52, 187, 200);">)</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Perhaps:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><span class=""
style="text-decoration: underline; font-variant-ligatures:
no-common-ligatures; color: rgb(52, 188, 38);">import</span><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> Control.Monad</span></div>
<div style="margin: 0px; font-stretch: normal; font-size: 10px;
line-height: normal; font-family: Menlo; color: rgb(244, 244,
244); background-color: rgb(0, 0, 0); min-height: 11px;"
class=""><span class="" style="font-variant-ligatures:
no-common-ligatures;"> </span><br
class="webkit-block-placeholder">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);
min-height: 11px;"><span class=""
style="font-variant-ligatures: no-common-ligatures;"></span><br
class="">
</div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(244, 244, 244); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">13 hints</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(195, 55, 32); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Error when running Shake build system:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(195, 55, 32); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> at want, called at
src/Main.hs:104:30 in main:Main</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(195, 55, 32); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">* Depends on: lint:compiler</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(195, 55, 32); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;"> at cmd_, called at
src/Rules/Lint.hs:70:3 in main:Rules.Lint</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(195, 55, 32); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">* Raised the exception:</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(195, 55, 32); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Development.Shake.cmd, system command
failed</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(195, 55, 32); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Command line: hlint -j --cpp-define
x86_64_HOST_ARCH --cpp-include=includes
--cpp-include=_build/stage1/lib --cpp-include=compiler
--cpp-include=_build/stage1/lib/ghcplatform.h
--cpp-include=_build/stage1/compiler/build -h
compiler/.hlint.yaml compiler</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(195, 55, 32); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Exit code: 1</span></div>
<div class="" style="margin: 0px; font-stretch: normal;
font-size: 10px; line-height: normal; font-family: Menlo;
color: rgb(195, 55, 32); background-color: rgb(0, 0, 0);"><span
class="" style="font-variant-ligatures:
no-common-ligatures;">Stderr:</span></div>
</div>
<div class=""><br class="">
</div>
<div class="">There are several curiosities here:</div>
<div class=""><br class="">
</div>
<div class="">* I introduced one of these errors, in
GHC.Tc.Utils.Unify; the other errors are in files I have not
modified. Will these affect CI?</div>
<div class="">* Hadrian crashes at the end. Is that expected? It
says "system command failed" with a bunch of gobbledegook. Is
this an error within Hadrian? Or is this just Hadrian's way of
saying that it encountered an error when linting? If it's the
latter, the current message is hard to read.</div>
<div class="">* As you may be able to see, I use a dark-background
terminal window. The colors output by the hlint process are nigh
impossible to read when describing redundant LANGUAGE pragmas.
Are these colors configurable?</div>
<div class=""><br class="">
</div>
<div class="">Thanks!</div>
<div class="">Richard</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
ghc-devs mailing list
<a class="moz-txt-link-abbreviated" href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a>
</pre>
</blockquote>
<pre class="moz-signature" cols="72">--
Hécate ✨
🐦: @TechnoEmpress
IRC: Uniaika
WWW: <a class="moz-txt-link-freetext" href="https://glitchbra.in">https://glitchbra.in</a>
RUN: BSD</pre>
</body>
</html>