Hi Malcolm,<div><br></div><div> Thanks for the quick fix! I installed the newest version. There are a couple of problems for me.</div><div>The first is that there is no color. My old files processed with hscolour 1.13 had headers like</div>
<div><br></div><div><span class="Apple-style-span" style="font-family: Times; font-size: 10px; "><p class="p1" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(100, 0, 199); ">
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "<a href="http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd</a>"></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<html></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); "><head></p><p class="p3" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 128, 0); ">
<!-- Generated by HsColour, <a href="http://www.cs.york.ac.uk/fp/darcs/hscolour/">http://www.cs.york.ac.uk/fp/darcs/hscolour/</a> --></p><p class="p4" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 0); ">
<span class="s1" style="color: rgb(0, 0, 255); "><title></span>src/Imogen/Infon/Fol/Subst.lhs<span class="s1" style="color: rgb(0, 0, 255); "></title></span></p><p class="p5" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(155, 104, 0); ">
<span class="s1" style="color: rgb(0, 0, 255); "><link</span><span class="s2" style="color: rgb(0, 0, 0); "> </span><span class="s3" style="color: rgb(89, 38, 0); ">type=</span>'text/css'<span class="s2" style="color: rgb(0, 0, 0); "> </span><span class="s3" style="color: rgb(89, 38, 0); ">rel=</span>'stylesheet'<span class="s2" style="color: rgb(0, 0, 0); "> </span><span class="s3" style="color: rgb(89, 38, 0); ">href=</span>'hscolour.css'<span class="s1" style="color: rgb(0, 0, 255); "> /></span></p>
<p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); "></head></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<body></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); "><br></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<span class="Apple-style-span" style="color: rgb(0, 0, 0); font-family: arial; font-size: 13px; ">The files now don't have this header, and they are not showing up colored.</span></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<span class="Apple-style-span" style="color: rgb(0, 0, 0); font-family: arial; font-size: 13px;"><br></span></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<span class="Apple-style-span" style="color: rgb(0, 0, 0); font-family: arial; font-size: 13px;">Second, I'm probably being a pain in the ass, but I'd also like to keep my literate comments</span></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<span class="Apple-style-span" style="color: rgb(0, 0, 0); font-family: arial; font-size: 13px;">preformatted. Right now they are mashed all together and are unreadable. Would it be possible</span></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<span class="Apple-style-span" style="color: rgb(0, 0, 0); font-family: arial; font-size: 13px;">to add an option for preformatting, in case you prefer the default to be unformatted? </span></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<span class="Apple-style-span" style="color: rgb(0, 0, 0); font-family: arial; font-size: 13px;"><br></span></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<span class="Apple-style-span" style="color: rgb(0, 0, 0); font-family: arial; font-size: 13px;">Thanks!</span></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<span class="Apple-style-span" style="color: rgb(0, 0, 0); font-family: arial; font-size: 13px;"><br></span></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<span class="Apple-style-span" style="color: rgb(0, 0, 0); font-family: arial; font-size: 13px;">Sean</span></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<span class="Apple-style-span" style="color: rgb(0, 0, 0); font-family: arial; font-size: 13px;"><br></span></p><p class="p2" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; font: normal normal normal 10px/normal Monaco; color: rgb(0, 0, 255); ">
<span class="Apple-style-span" style="color: rgb(0, 0, 0); font-family: arial; font-size: 13px; ">On Fri, Aug 21, 2009 at 6:24 AM, Malcolm Wallace <span dir="ltr"><<a href="mailto:Malcolm.Wallace@cs.york.ac.uk">Malcolm.Wallace@cs.york.ac.uk</a>></span> wrote:</span><br>
</p></span><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The annoying thing here is that to "do the right thing" Cabal would need<br>
to distinguish bird-track style literate files (hscolour -lit) from tex<br>
style (hscolour -lit-tex). I don't think this is reasonable.<br>
</blockquote>
<br></div>
I've fixed hscolour - from the newly release version 1.14 there is now no difference between the -lit and -lit-tex options. Both will deal with either style of literate input.<div class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
It might be worth asking if hscolour should by<br>
default just do the right thing, ie use -lit on .lhs input files.<br>
</blockquote>
<br></div>
Hscolour-1.14 also makes this fix. If your source file name ends in .lhs or .ly or .lx, it will be automatically processed with -lit. You can override the guess, by using an explicit -nolit (or -lit) to force the particular behaviour you want.<br>
<br>
Another new change, is that you can now supply multiple filenames as input, and their colourised contents will be concatenated to the output.<br>
<br>
Regards,<br>
Malcolm<br>
<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</blockquote></div><br></div>