11 Sep
2019
11 Sep
'19
2:52 p.m.
On Wed, 11 Sep 2019, Li-yao Xia wrote:
The easiest way to get a strict alternative seems to be to explicitly force the list, for example using ```length contents `seq` pure ()```, but that's far from an obvious solution.
I am not sure, whether this works reliably. Evaluating the length of 'contents' only generates the skeleton of the list but not immediately the element values. A cleaner way would be to use 'deepseq'.