23 Aug
2002
23 Aug
'02
7:38 a.m.
-- 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.