Re: [isabelle] Code generator produces non-linear patterns

Hi Lars,

> I've encountered some odd behaviour when generating code involving
> non-trivial use of case combinators; I'm getting ML code which contains
> non-linear pattern matches.

thanks for your report.  I'll have a look at it.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.