[isabelle] strictness flags in Haskell code-generation



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.