Re: [CZT-Users] Mutually recursive free type inconsistency

[Nicolas Wu <nic...@co...>]

For the record, I think I've answered my own question by adding:

%%Zinword \& {&}

at the beginning of the file.

Thanks,

Nick

On Wed, Mar 3, 2010 at 5:27 PM, Nicolas Wu <nic...@co...> wrote:
> I've just come across an inconsistency in the CZT typechecker, and how
> it fits with the czt.sty file, with regards to mutually recursive free
> types.
>
> The typechecker allows the following code:
>
> \begin{zed}
>  A ::= a | aa \ldata B \rdata &
>  B ::= b | bb \ldata A \rdata
> \end{zed}
>
> However, this isn't LaTeX friendly, since '&' is used for alignment.
> The czt-guide.pdf document (Section 5.1, page 13), which documents
> czt.sty, claims that the LaTeX for the '&' should be '\&', which makes
> sense. However, using this breaks the typechecker, which reports:
>
> nwu@clpc181~/scrap$ java -jar czt_1_5_0_bin.jar Freetypes.tex
> 1 warnings and errors
> line 5 column 31 in "Freetypes.tex": Unknown latex command
>
> Is there a quick work around for this?
>
> Thanks,
>
> Nick
>