23 Aug
2002
23 Aug
'02
3:26 p.m.
Hal Daume III wrote:
-- strictness annotation, to be used as -- f a x | strict a, deepStrict x = annotation -- f a x = the_true_function_body strict a = seq a False
The 'False' her is rather arbitrary, or am I missing something?
It must be 'False', to prevent the body = 'annotation' = 'undefined' from getting evaluated.
Yes, and the ',' is illegal; to get the desired behaviour of both strictness annotations to be effective, it has to be replaced with '||'. All the best Christian Sievers