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.
On 09/06/2011 09:39 AM, Christian Sternagel wrote:
is there a way to declare fields of datatype constructors as strict
for Haskell code-generation?
This archive was generated by a fusion of
Pipermail (Mailman edition) and