Literate HS to TeX Highlighter Helper
=====================================
Hi there,
This is the very first release of the lhs2tex helper for syntax highlighting.
Use it in addition with lhs2tex. Due to a huge demand I make this tool
publicly available. Use it your own risk. I am not responsible for any
conveniences or inconveniences caused by using this software.
It aims to detect the `kind' of a token either by it's use or it's
declaration. Trying to detect both local declarations and usages.
Regards,
Alessandro Vermeulen
INSTALLING
----------
* Download the zip file.
* Extract
* Go to the directory and run
> cabal install
* That's all
USAGE
-----
> lhs2TeX-hl -o OUTPUTFILE INPUTFILE
For more details see:
> lhs2TeX-hl --help
Currently this is the only way to work with the tool.
In your .tex files add %include OUTPUFILE to tell lhs2tex to use the generated
formatting directives. You'll need to provide the following commands yourself:
* \lhsCHsyntax
* \lhsCHkeyword
* \lhsCHprelude
* \lhsCHtype
* \lhsCHconstructor
* \lhsCHfunction
* \lhsCHinfixoperator
* \lhsCHclass
This only generates formatting directives for keywords for you. If you want to
change the formatting of characters, strings or literal numbers add the
following directives:
> %subst char a = "\color{char}\text{\tt ''" a "''}"
> %subst string a = "\color{string}\text{\tt \char34 " a "\char34}"
> %subst numeral a = "\color{numeral}{ " a " }"
KNOWN ISSUES
------------
* Infix operators may not work that great, or normal functions that are used
`infix`. Sometimes you might get an `ambiguous infix operator' error.
* AGDA isn't supported yet unfortunately.
* Errors aren't that informative. :)
CHANGES
-------
1.2.2: * And classes are now also written to the output file, somewhere I was
sleeping during all this. :)
1.2.1: * Fixed a regression, detection of language pragmas was apparently
broken and now they aren't anymore.
1.2.0: * Hopefully the ``ambiguous infix operator'' error shouldn't occur
that often anymore.
* Removed the AGDA dependency for until it actually works.
* Classes are now detected.