Stream: Archive Mirror: Isabelle Users Mailing List

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

view this post on Zulip Email Gateway (Aug 18 2022 at 18:19):

From: Lukas Bulwahn <bulwahn@in.tum.de>
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

view this post on Zulip Email Gateway (Aug 18 2022 at 18:28):

From: Christian Sternagel <christian.sternagel@uibk.ac.at>
Hi,

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

cheers

chris

Last updated: Feb 01 2025 at 20:19 UTC