
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

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
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

By the way, if someone on this list has got too much time, he could write something that would fulfill the goals of literate programming -- à la web and cweb. Knuth was able to make books with his source code. I believe that lhs2tex is great for classes about haskell or fp, but I never found it satisfying for programs with several modules, for instance. El 05/05/2010, a las 12:42, Ozgur Akgun escribió:
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
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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

I've generated large LaTeX documents with several modules without too much hassle. The key was to use %include a lot, as well as conditionals. Lots of %if False around import statements. -chris On 5 mei 2010, at 20:18, Pierre-Etienne Meunier wrote:
By the way, if someone on this list has got too much time, he could write something that would fulfill the goals of literate programming -- à la web and cweb. Knuth was able to make books with his source code. I believe that lhs2tex is great for classes about haskell or fp, but I never found it satisfying for programs with several modules, for instance.
El 05/05/2010, a las 12:42, Ozgur Akgun escribió:
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
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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

On 6 May 2010 04:18, Pierre-Etienne Meunier
By the way, if someone on this list has got too much time, he could write something that would fulfill the goals of literate programming -- à la web and cweb. Knuth was able to make books with his source code. I believe that lhs2tex is great for classes about haskell or fp, but I never found it satisfying for programs with several modules, for instance.
I think the main difference between cweb and literate haskell is that the former allows documentation _anywhere_, whereas with literate haskell you can't suddenly cut out of a code block to have a discussion on what the next line means (instead you need to have an explicit comment). Unless GHC[i] starts stripping out all non-code from literate haskell files and joining all the code blocks together, I'm not sure if this situation can be remedied.
El 05/05/2010, a las 12:42, Ozgur Akgun escribió:
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?
Not quite; the lhs2tex documentation says you need to put those .fmt, .sty, etc. files in a texmf directory. -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com

On 6 May 2010 01:23, Ivan Miljenovic
El 05/05/2010, a las 12:42, Ozgur Akgun escribió:
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?
Not quite; the lhs2tex documentation says you need to put those .fmt, .sty, etc. files in a texmf directory.
Oh I assumed, cabal-installing lhs2tex would put those files into some place so that it can find them later :) Where exactly in the documentation does it say I have to manually put them in my texmf dir? I am of course happy to handle some file copying for such a tool to work, but I couldn't find explicit instructions about it in the documentation. Best, Ozgur Akgun

Ozgur Akgun
On 6 May 2010 01:23, Ivan Miljenovic
wrote: El 05/05/2010, a las 12:42, Ozgur Akgun escribió:
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?
Not quite; the lhs2tex documentation says you need to put those .fmt, .sty, etc. files in a texmf directory.
Oh I assumed, cabal-installing lhs2tex would put those files into some place so that it can find them later :)
Where exactly in the documentation does it say I have to manually put them in my texmf dir?
Page 5 of http://people.cs.uu.nl/andres/lhs2tex/Guide2-1.15.pdf However, it appears I was mistaken regarding lhs2tex.fmt; instead it appears that the executable doesn't know where the .fmt file is to be found. You'll have to wait until Andres responds for clarification on this :s -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com
participants (5)
-
Chris Eidhof
-
Ivan Lazar Miljenovic
-
Ivan Miljenovic
-
Ozgur Akgun
-
Pierre-Etienne Meunier