[Agda] Fwd: Lhs2Tex and unicode

[Jean-Philippe Bernardy]

Here is the fix for lhs2TeX and unicode, in case anyone is interested.
-- JP


---------- Forwarded message ----------
From: Jean-Philippe Bernardy <bernardy at chalmers.se>
Date: Wed, Jun 16, 2010 at 9:22 AM
Subject: Re: Lhs2Tex and unicod
To: Andres Loeh <andres at cs.uu.nl>


On Wed, Jun 16, 2010 at 8:00 AM, Andres Loeh <andres at cs.uu.nl> wrote:
>> I am having issues with lhs2tex since I upgraded to the last version.
>
> Have you built it with ghc-6.12?

That's right.

> There's something wrong with lhs2TeX
> and Unicode handling in ghc-6.12. I haven't had time to sort it out yet,
> which is quite bad, I know. Easy workaround is to install with ghc-6.10,
> which works, or to browse the internet. I think others (Debian?) have
> already fixed this problem.

I confirm that this works. You may want to apply the patch inside:

http://ftp.de.debian.org/debian/pool/main/l/lhs2tex/lhs2tex_1.15-3.debian.tar.gz

(which I have also attached for convenience).

Many thanks,
JP.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: no-utf8-string.patch
Type: text/x-diff
Size: 4915 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20100717/44823403/no-utf8-string-0001.bin