Re: [isabelle] strictness flags in Haskell code-generation



There is currently no support for this in the Haskell code generation that I am aware of. If there is more than one user requiring this, it might be worth adding this to the serializer.

Lukas


On 09/06/2011 09:39 AM, Christian Sternagel wrote:
Hi,

is there a way to declare fields of datatype constructors as strict for Haskell code-generation?

cheers

chris







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