OK, I've found them!

They were under "/Users/username/.cabal/share/lhs2tex-1.15" and this path was not in the search path of lhs2TeX.
I'm using Snow Leoprad. This might be a bug I guess?

Anyway, problem solved for me.

Best,

On 5 May 2010 16:03, Ozgur Akgun <ozgurakgun@gmail.com> wrote:
Hi all,

I am trying to get lhs2TeX to work. I installed the package using cabal, and now I try to run it on a very simple *.lhs file.

But it blames me and says user error, cannot find lhs2TeX.fmt:

lhs2TeX: user error (File `lhs2TeX.fmt' not found in search path:

And, when I check the search path, there really is no lhs2TeX.fmt file. Should I download it separately or something like that?

PS: Thanks for the great package to the authors!

Best,
Ozgur Akgun



--
Ozgur Akgun