Adam Megacz <[email protected]> writes: > Also, you appear to be using -dcoqpass (right?) which you're not > supposed to use with the tutorial. That flag builds proof-trees as > LaTeX code and unless you've recompiled it with expanded limits, LaTeX > will surely choke on anything as large asthe tutorial (it can just > barely handle "pow").
In case you're curious, here's tutorial.hs up through the first version of "pow": http://www.cs.berkeley.edu/~megacz/garrows/ridiculous.pdf I had to expand my pdflatex's memory limit by a factor of 50 in order to render just this short example! The paper size is 200 inches wide (using normal 10-point text; I'm sure I could have reduced that). So, -dcoqpass (as opposed to -fcoqpass) is definitely not recommended for anything other than short, carefully focused bits of code. If you try to run large programs through it the LaTeX you get out the other end won't do you much good! - a _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
